Publications by Troelstra, A.S.
 | Up a level |
Group by: Item Type | Date
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. The L.E.J. Browner Centenary Symposium, 08. - 13. Juni 1981, Noordwijkerhout, Niederlande. [PDF, 437kB]