Technical reports

A co-induction principle for recursively defined domains

Andrew M. Pitts

25 pages

Full text

PS (0.1 MB)

BibTeX record

@TechReport{UCAM-CL-TR-252,
  author =	 {Pitts, Andrew M.},
  title = 	 {{A co-induction principle for recursively defined domains}},
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-252.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-252}
}