Type Theory and the Integrated Logic of Programs

Universitet

Göteborgs universitet/University of Gothenburg

Institution

Department of Computing Science

Institutionen för Datavetenskap

Datum för disputation

1999-06-11

URL:

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

Samlingar

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

Datum

1999

Författare

Persson, Henrik

Publikationstyp

Doctoral thesis

Metadata

Visa fullständig post