Computer Laboratory

Technical reports

Categorical combinators for the calculus of constructions

Eike Ritter

October 1990, 43 pages

Full text

Only available on paper (could be scanned on request).

BibTeX record

  author =	 {Ritter, Eike},
  title = 	 {{Categorical combinators for the calculus of constructions}},
  year = 	 1990,
  month = 	 oct,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-208}