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

by T Altenkirch, B Reus
Venue:In Computer Science Logic