Completions in Realizability

P.J.W. Hofstra

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	Moerdijk, Ieke, Primary supervisor
Award date	10 Sept 2003
Publication status	Published - 10 Sept 2003

Keywords

@phdthesis{d2467d7b4a1941cead29dca1c401c490,

title = "Completions in Realizability",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "P.J.W. Hofstra",

year = "2003",

month = sep,

day = "10",

language = "Undefined/Unknown",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Utrecht University",

}