Programming Metalogics with a Fixpoint Type

Programming Metalogics with a Fixpoint Type (1992)

by Roy Louis Crole , C Fl Roy Louis Crole , Prof E. Moggi

Citations:

12 - 6 self

Datum	Value	Source
TITLE	and	SVM HeaderParse 0.1
AUTHOR NAME	Roy Louis Crole	SVM HeaderParse 0.1
AUTHOR AFFIL	of; Churchill College, Cambridge	SVM HeaderParse 0.2
AUTHOR NAME	C Fl Roy Louis Crole	SVM HeaderParse 0.1
AUTHOR NAME	Prof E. Moggi	SVM HeaderParse 0.1
ABSTRACT	To my parents This University of Cambridge Computer Laboratory Technical Report is a revised version of my Ph.D. thesis. The report is essentially the same as my original thesis which was completed in July 1991, with corrections and alterations as suggested by my Ph.D. examiners, Dr. J.M.E. Hyland,	SVM HeaderParse 0.1
CITATIONS	53 found	ParsCit 1.0