Topic
Combinatory logic
42 books
Studies in Logic and the Foundations of Mathematics, 65: Provability, Computability and Reflection
Haskell B. Curry
Die Ars generalis ultima des Raymundus Lullus: studien zu einem geheimen Ursprung der Computertheorie
Werner Künzel, Heiko Cornelius.
The combinatory programme
Erwin Engeler ... [et al.].
Algebra of proofs
M. E. Szabo.
Opere lulliane
Giordano Bruno ; edizione diretta da Michele Ciliberto ; a cura di Marco Matteoli, Rita Sturlese, Nicoletta Tirinnanzi
Casebook in correctional casework
Prepared for the Committee on Teaching Materials.
Combinatory logic
[by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability (Mathematics and its Applications)
Dimiter G. Skordev
Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science)
Two-level functional languages
Flemming Nielson, Hanne Riis Nielson.
Showing 10 of 42 books