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

Visa enkel post
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
Ladda ner
Samling
Examensarbeten för masterexamen