On Fixpoint Objects and Gluing Constructions (1997)


Download Links

by Roy L. Crole
Citations:1 - 1 self

Documents Related by Co-Citation

18 Categories for Types. Cambridge Mathematical Textbooks – R L Crole - 1993
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992