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

by T Altenkirch, B Reus
Venue:Proc. of 13th Int. Wksh. on Computer Science Logic, CSL ’99