Logo Logo

Publications by Vermuri, R.

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

Berger, Ulrich; 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. [PDF, 1MB]

This list was generated on Fri Sep 20 06:28:43 2019 CEST.