Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 1982
Anzahl der Publikationen: 1

1982

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 Mar 23 19:25:32 2024 CET erstellt.