| Combinatory Logic -- Pure, Applied, and Typed |
Katalin Bimbó |
Morten Heine Sørensen |
Studia Logica |
2013-10-01 |
| The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel |
Erwin Engeler |
James Davenport |
The Journal of Symbolic Logic |
1996 |
| Computability in combinatory spaces. An algebraic generalization of abstract first order computability |
Dimiter G. Skordev |
Dag Normann |
The Journal of Symbolic Logic |
1995 |
| Elements of Combinatory Logic |
Frederic B. Fitch |
Bruce Lercher |
The Journal of Symbolic Logic |
1976 |
| Elements of Combinatory Logic |
F B Fitch |
Anonymous |
International Logic Review |
1975-06-01 |
| Elements of Combinatory Logic |
F. B. Fitch |
Charles F Kielkopf |
The Review of Metaphysics |
1975-03-00 |
| Introduction to combinatory logic |
J. R. Hindley, B. Lercher, and J. P. Seldin |
Henk Barendregt |
The Journal of Symbolic Logic |
1973 |
| Logic, combinatory |
Haskell B. Curry |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Basic verifiability in the combinatory theory of restricted generality |
Haskell B. Curry |
Richard J. Orgass |
The Journal of Symbolic Logic |
1970 |
| Combinatory logic |
Haskell B. Curry |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1967 |
| Combinatory logic. Volume I. With two sections by William Craig |
Haskell B. Curry and Robert Feys |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1967 |
