Logo Logo

Publications by Troelstra, A.S.

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
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]

This list was generated on Mon Dec 16 06:36:59 2019 CET.