Time complexity of programs in type theory
By: Bror Bjerner
Contributors: Göteborgs universitet
Publisher: Dept. of Computer Sciences, Univ.
Published: 1989
Place of publication: Göteborg
Language: swe
Number of pages: 93
Notes: Thesis (doctoral)--University of Göteborg, 1989.