Show simple item record

Files in this item

Thumbnail
Name:
NeilLeslieMThesis1993_original_C.pdf
Size:
13.12Mb
Format:
PDF
View/Open

Specification and implementation of a unification algorithm in Martin-Löf's type theory

Item metadata

dc.contributor.authorLeslie, Neilen
dc.coverage.spatial99pen
dc.date.accessioned2021-04-08T09:17:45Z
dc.date.available2021-04-08T09:17:45Z
dc.date.issued1993
dc.identifier.urihttps://hdl.handle.net/10023/22631
dc.language.isoenen
dc.publisherUniversity of St Andrewsen
dc.subject.lccQA9.58L3
dc.titleSpecification and implementation of a unification algorithm in Martin-Löf's type theoryen
dc.typeThesisen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnameMSc Master of Scienceen
dc.publisher.institutionThe University of St Andrewsen
dc.contributor.institutionComputer Science Thesesen


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.