λ-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
|