Walter Dean, Hidenori Kurokawa. Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 27-63, Springer, 2016. [doi]
Abstract is missing.