λ-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975


edited by C. Böhm
Bok Engelsk 1975
Annen tittel
Utgitt
Berlin : Springer , 1975
Omfang
XII, 370 s. : fig.
Opplysninger
Symposiet er kalt Symposium on λ-Calculus and Computer Science Theory i forordet.
Emner
ISBN
0387074163. - 3540074163

Bibliotek som har denne