Forms a part of van Raamsdonk’s thesis from (1996)

by J Zucker
Venue:Mathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics