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]
Diese Liste wurde am
Sat Dec 21 23:40:59 2024 CET
erstellt.