Programming Metalogics with a Fixpoint Type (1992)

by Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi