|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
Berger, Ulrich und Schwichtenberg, Helmut
(1991):
An inverse of the evaluation functional for typed Lambda-calculus.
6th Annual IEE Symposium on Logic in Computer Science (LICS'91), Amsterdam, 15. - 18. Juli 1991.
Vermuri, R. (Hrsg.):
In: Proceedings of the 6th Symposium on Logic in Computer Science (LICS'91),
IEEE Computer Society Press, Los Alamitos. S. 203-211
[PDF, 1MB]