Computer Laboratory

Technical reports

Evaluation Logic

Andrew M. Pitts

August 1990, 31 pages

Full text

PS (0.1 MB)

BibTeX record

@TechReport{UCAM-CL-TR-198,
  author =	 {Pitts, Andrew M.},
  title = 	 {{Evaluation Logic}},
  year = 	 1990,
  month = 	 aug,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-198.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-198}
}