 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic presentations of Lambda terms using generalized inductive types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366