Computation in type theory
By: Catarina Coquand
Contributors: Göteborgs universitet
Published: 1996
Language: eng
Number of pages: 13
Notes: Thesis (doctoral)--Chalmers University of Technology, Göteborg University, 1996.