Relations in Dependent Type Theory
Universitet
Göteborgs universitet/University of Gothenburg
Institution
IT-University in Göteborg
IT-universitet i Göteborg
Disputation
Lecture room EA EDIT building Chalmers 10.15
Datum för disputation
2006-03-13
Datum
2006Författare
Gonzalia, Carlos
Publikationstyp
Doctoral thesis
ISBN
91-628-6763-6