Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorPeillon, Thomasen
dc.coverage.spatial130pen
dc.date.accessioned2021-04-08T09:24:23Z
dc.date.available2021-04-08T09:24:23Z
dc.date.issued1992
dc.identifier.urihttp://hdl.handle.net/10023/22905
dc.language.isoenen
dc.publisherUniversity of St Andrewsen
dc.subject.lccQA76.28L7P3
dc.titleA proof editor for linear logicen
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