Technical reports
A HOL interpretation of Noden
Brian Graham
September 1994, 78 pages
| DOI | https://doi.org/10.48456/tr-349 |
Full text
Only available on paper (could be scanned on request).
BibTeX record
@TechReport{UCAM-CL-TR-349,
author = {Graham, Brian},
title = {{A HOL interpretation of Noden}},
year = 1994,
month = sep,
institution = {University of Cambridge, Computer Laboratory},
address = {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
phone +44 1223 763500},
doi = {10.48456/tr-349},
number = {UCAM-CL-TR-349}
}