Programming Metalogics with a Fixpoint Type (1992)

Cached

Download Links

by Roy Louis Crole , C Fl Roy Louis Crole , Prof E. Moggi
Citations:12 - 6 self

Document Versions

Programming Metalogics with a Fixpoint Type –Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi — 1992