Monadic presentations of lambda terms using generalized inductive types (1999)

by Thorsten Altenkirch, Bernhard Reus
Venue:In Computer Science Logic, 13th International Workshop, CSL ’99