Justus Diller
Bibliography
Diller, Justus. 1980. “Modified Realization and the Formulae-as-Types Notion.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 491–502. New York: Academic Press.
Diller, Justus. 2008. “Functional Interpretations of Constructive Set Theory in All Finite Types.” Dialectica 62(2): 149–177.