Programming Metalogics with a Fixpoint Type (1992)

Cached

Download Links

by Roy Louis Crole
Citations:12 - 6 self