A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Cornell Digital Repository: http://ecommons.library.cornell.edu/handle/1813/5723

unofficial copies [PDF],

by Wojciech Moczydlowski

Cornell University Technical Report 2006-2051.

Abstract