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