Items for Altenkirch, Thorsten

Up a level
Export as [feed] RSS
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

This list was generated on Mon Dec 9 08:57:20 2019 GMT.