A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/47423
Download file(s):
There are no files associated with this item.
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBove, Ana
dc.contributor.departmentChalmers tekniska högskola / Institutionen för datavetenskapsv
dc.contributor.departmentChalmers University of Technology / Department of Computer Scienceen
dc.date.accessioned2019-07-03T12:05:33Z-
dc.date.available2019-07-03T12:05:33Z-
dc.date.issued1995
dc.identifier.urihttps://hdl.handle.net/20.500.12380/47423-
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectDatalogi
dc.subjectComputer science
dc.titleA Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.