Technical reports

New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic

Roy L. Crole, Andrew M. Pitts

August 1990, 37 pages

Full text

PS (0.1 MB)

BibTeX record

@TechReport{UCAM-CL-TR-204,
  author =	 {Crole, Roy L. and Pitts, Andrew M.},
  title = 	 {{New foundations for fixpoint computations:
         	   FIX-hyperdoctrines and the FIX-logic}},
  year = 	 1990,
  month = 	 aug,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-204.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-204}
}