Andrew Ireland. Mechanization of program construction in Martin-Loef's theory of types. PhD thesis, University of Stirling, UK, 1989. [doi]
@phdthesis{ethos-8348, title = {Mechanization of program construction in Martin-Loef's theory of types}, author = {Andrew Ireland}, year = {1989}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236080}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-8348}, cites = {0}, citedby = {0}, school = {University of Stirling, UK}, }