Return to search

Data type proofs using Edinburgh LCF

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:353396
Date January 1984
CreatorsMonahan, Brian Quentin
PublisherUniversity of Edinburgh
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Sourcehttp://hdl.handle.net/1842/15419

Page generated in 0.0014 seconds