Return to search

Mechanization of program construction in Martin-Loef's theory of types

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:236080
Date January 1989
CreatorsIreland, Andrew
PublisherUniversity of Stirling
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0015 seconds