Visa enkel post

Relations in Dependent Type Theory

dc.contributor.authorGonzalia, Carlosen
dc.date.accessioned2008-08-11T10:30:00Z
dc.date.available2008-08-11T10:30:00Z
dc.date.issued2006en
dc.identifier.isbn91-628-6763-6
dc.identifier.urihttp://hdl.handle.net/2077/16775
dc.titleRelations in Dependent Type Theoryen
dc.typeTexten
dc.type.svepDoctoral thesisen
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.gup.departmentIT-University in Göteborgeng
dc.gup.departmentIT-universitet i Göteborgswe
dc.gup.defenceplaceLecture room EA EDIT building Chalmers 10.15en
dc.gup.defencedate2006-03-13en
dc.gup.dissdbid6734en
dc.gup.dissdb-fakultetITF


Filer under denna titel

Thumbnail
Namn:
gupea_2077_16775_1.pdf
Storlek:
318.6Kb
Format:
PDF
Description:
Abstract
Fil(er)
Thumbnail
Namn:
gupea_2077_16775_3.pdf
Storlek:
1.118Mb
Format:
PDF
Fil(er)

Dokumentet tillhör följande samling(ar)

Visa enkel post