Monadic Presentations of Lambda Terms Using Generalized Inductive Types.

Thorsten Altenkirch, Bernhard Reus

Browse the full CSL paper archive.