Relations in Dependent Type Theory
University
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
Date of defence
2006-03-13
Date
2006Author
Gonzalia, Carlos
Publication type
Doctoral thesis
ISBN
91-628-6763-6