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 |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University