[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Istituto per le applicazioni del calcolo
Other Authors:	Böhm, C. (Corrado), 1923-
Format:	eBook
Language:	English French
Language Notes:	English or French.
Published:	Berlin ; New York : Springer-Verlag, 1975.
Series:	Lecture notes in computer science ; 37.
Subjects:	Combinatory logic > Congresses. Programming languages (Electronic computers) > Congresses. informatique théorique. lambda calcul. Langages de programmation > Congrès. Logique combinatoire > Congrès. Combinatory logic. Programming languages (Electronic computers) Lambda-calculus. Datenverarbeitung. Kombinatorische Logik. Kongress. Lambda-Kalkül. Logik. Metamathematik. Programmiersprache. Electronic books. Kongre€ > Rom > 1975. Lambda-Calculus. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage