Logo Logo
Help
Contact
Switch Language to German

Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. In: Troelstra, A.S. and Dalen, D. van (eds.) : Studies in Logic and the Foundations of Mathematics. The L.E.J. Browner Centenary Symposium. Proceedings of the Conference hald in Noordwijkerhout. Amsterdam: North Holland Publishing Company. pp. 453-458 [PDF, 437kB]

Actions (login required)

View Item View Item