Higman´s Lemma in Type Theory
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Department of Computing science
Institutionen för datavetenskap
Datum för disputation
1997-10-31
Datum
1997Författare
Fridlender, Daniel
Publikationstyp
Doctoral thesis