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

by T Altenkirch, Reus
Venue:Computer Science Logic, 13th International Workshop, CSL ’99, Proceedings. Volume 1683 of Lecture Notes in Computer Science