Govvádus: [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.

Summary goes here

Furkejuvvon:

Bibliográfalaš dieđut
Materiálatiipa:	Girji
Giella:	eaŋgalasgiella fránskkagiella
Fáttát:	Combinatory logic Programming languages (Electronic computers) Langages de programmation Logique combinatoire Datenverarbeitung Kombinatorische Logik Lambda-Kalkül Logik Metamathematik Programmiersprache Kongress Lambda-calculus. Kongress. Kongreß Lambda-Calculus. Conference papers and proceedings
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!