Time complexity of programs in type theory

Universitet

Göteborgs universitet/University of Gothenburg

Institution

Datalogi

URL:

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

Samlingar

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

Datum

1989

Författare

Bjerner, Bror, 1946-

Nyckelord

Databehandling Programmering Programspråk

Publikationstyp

Doctoral thesis

ISBN

91-7032-392-5

Metadata

Visa fullständig post