Conservative extensions of type theories

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitleConservative extensions of type theories
Publication TypeThesis
Year of Publication1987
AuthorsBreazu-Tannen V
Date PublishedFebruary
UniversityMIT
Thesis Typephd