Data type proofs using Edinburgh LCF
dc.contributor.author
Monahan, Brian Quentin
en
dc.date.accessioned
2016-03-01T11:41:54Z
dc.date.available
2016-03-01T11:41:54Z
dc.date.issued
1984
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/15419
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
KB thesis scanning project 2015
en
dc.title
Data type proofs using Edinburgh LCF
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- Monahan1984.Pdf
- Size:
- 14.14 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)