Type Theory and the Integrated Logic of Programs

University

Göteborgs universitet/University of Gothenburg

Institution

Department of Computing Science

Institutionen för Datavetenskap

Date of defence

1999-06-11

URI

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

Collections

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

Date

1999

Author

Persson, Henrik

Publication type

Doctoral thesis

Metadata

Show full item record