Files in this item
Specification and implementation of a unification algorithm in Martin-Löf's type theory
Item metadata
dc.contributor.author | Leslie, Neil | en |
dc.coverage.spatial | 99p | en |
dc.date.accessioned | 2021-04-08T09:17:45Z | |
dc.date.available | 2021-04-08T09:17:45Z | |
dc.date.issued | 1993 | |
dc.identifier.uri | https://hdl.handle.net/10023/22631 | |
dc.language.iso | en | en |
dc.publisher | University of St Andrews | en |
dc.subject.lcc | QA9.58L3 | |
dc.title | Specification and implementation of a unification algorithm in Martin-Löf's type theory | en |
dc.type | Thesis | en |
dc.type.qualificationlevel | Doctoral | en |
dc.type.qualificationname | MSc Master of Science | en |
dc.publisher.institution | The University of St Andrews | en |
dc.contributor.institution | Computer Science Theses | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.