Lambda calculus and computer science theory.

相似書籍

• [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
  出版: (1975)
• Recursive programming techniques /
  由: Burge, William H.
  出版: (1975)
• Combinatory logic
  由: Curry, Haskell B. (Haskell Brooks), 1900-
  出版: (1958)
• Combinators, -terms and proof theory.
  由: Stenlund, Soren
  出版: (1972)
• Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
  出版: (1986)