On the Undecidability of the Type Set of Variety

Author: 
Japheth Leo Merlin Wood
Publication date: 
May 1, 1997
Publication type: 
PhD Thesis (Author field refers to student + advisor)