Relations in Dependent Type Theory

Files

gupea_2077_16775_1.pdf (318.63 KB)

gupea_2077_16775_3.pdf (1.12 MB)

Date

Authors

Gonzalia, Carlos

URI

http://hdl.handle.net/2077/16775

ISBN

91-628-6763-6

Department

IT-University in Göteborg
IT-universitet i Göteborg

Defence location

Lecture room EA EDIT building Chalmers 10.15

Collections

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