Publisher
Springer Science and Business Media LLC
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Types;Handbook of Logic and Language;2011
2. Lambda-Calculus and Combinators in the 20th Century;Handbook of the History of Logic;2009
3. Types;Handbook of Logic and Language;1997
4. Some generalizations to two systems of set theory based on combinatory logic;Archiv für Mathematische Logik und Grundlagenforschung;1987-12
5. Category theory based on combinatory logic;Archiv für Mathematische Logik und Grundlagenforschung;1984-12