Monadic Presentations of Lambda Terms Using Generalized Inductive Types (1999)

by Thorsten Altenkirch, Bernhard Reus
Venue:In Computer Science Logic