Type Theory and the Integrated Logic of Programs

Simple item page
dc.contributor.authorPersson, Henriken
dc.date.accessioned2008-08-11T09:57:26Z
dc.date.available2008-08-11T09:57:26Z
dc.date.issued1999en
dc.gup.defencedate1999-06-11en
dc.gup.departmentDepartment of Computing Scienceeng
dc.gup.departmentInstitutionen för Datavetenskapswe
dc.gup.dissdb-fakultetMNF
dc.gup.dissdbid3647en
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.identifier.urihttp://hdl.handle.net/2077/13590
dc.titleType Theory and the Integrated Logic of Programsen
dc.typeTexten
dc.type.svepDoctoral thesisen

Files

Collections

Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet