Schwichtenberg, Helmut
(1982):
Complexity of normalization in the pure typed Lambda-calculus.
The L.E.J. Browner Centenary Symposium, Noordwijkerhout, Niederlande, 08. - 13. Juni 1981.
Troelstra, A.S. und Dalen, D. van (Hrsg.):
In: Studies in Logic and the Foundations of Mathematics. The L.E.J. Browner Centenary Symposium. Proceedings of the Conference hald in Noordwijkerhout,
Bd. 110
Amsterdam: North Holland Publishing Company. S. 453-458
[PDF, 437kB]
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-4280-6 |
| Ort: | Amsterdam |
| Sprache: | Englisch |
| Dokumenten ID: | 4280 |
| Datum der Veröffentlichung auf Open Access LMU: | 05. Jun. 2008 13:56 |
| Letzte Änderungen: | 04. Nov. 2020 12:47 |
- Dokument bearbeiten
