![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
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]