Time complexity of programs in type theory
University
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
Date
1989Author
Bjerner, Bror, 1946-
Keywords
Databehandling Programmering Programspråk
Publication type
Doctoral thesis
ISBN
91-7032-392-5