Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: 1991
Number of items: 1.

1991

Berger, Ulrich and Schwichtenberg, Helmut (1991): An inverse of the evaluation functional for typed Lambda-calculus. 6th Annual IEE Symposium on Logic in Computer Science (LICS'91), 15. - 18. Juli 1991, Amsterdam.

This list was generated on Wed May 22 22:42:45 2013 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