ENGLISH-FRENCH

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

By Corrado Böhm (auth.) , Prof. C. Böhm (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1975
ISBN
978-3-540-07416-8, 978-3-540-37944-7
DOI
10.1007/BFb0029515
Language
english-french
Format
PDF
Filesize
6 MB (6063450 bytes)
Series
Lecture Notes in Computer Science 37
Edition
1
Pages
371\383
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages; Mathemati

Similar books