Computer Laboratory

Technical reports

Using reclusive types to reason about hardware in higher order logic

Thomas F. Melham

May 1988, 30 pages

Full text

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

BibTeX record

@TechReport{UCAM-CL-TR-135,
  author =	 {Melham, Thomas F.},
  title = 	 {{Using reclusive types to reason about hardware in higher
         	   order logic}},
  year = 	 1988,
  month = 	 may,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-135}
}