The implementation of ALF : a proof editor based on Martin-Löf's monomorphic type theory with explicit substitution
University
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
Date
1994Author
Magnusson, Lena, 1962-
Publication type
Doctoral thesis
ISBN
91-7197-066-5