Sciweavers

Share
CSL
1999
Springer

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

10 years 4 months ago
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
Thorsten Altenkirch, Bernhard Reus
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where CSL
Authors Thorsten Altenkirch, Bernhard Reus
Comments (0)
books