Programming Metalogics with a Fixpoint Type (1992)
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 |
