Show simple item record

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


Files in this item

Thumbnail
Name:
gupea_2077_16775_1.pdf
Size:
318.6Kb
Format:
PDF
Description:
Abstract
View/Open
Thumbnail
Name:
gupea_2077_16775_3.pdf
Size:
1.118Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record