Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
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]

This list was generated on Tue Sep 27 06:56:21 2016 CEST.
Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton. − Impressum