Programming Metalogics with a Fixpoint Type (1992)

View PDF

Download Links

by Roy Louis Crole
Citations:12 - 6 self