Realizability and intuitionistic logic

This publication has 14 references indexed in Scilit:

• Constructions, proofs and the meaning of logical constants
  Journal of Philosophical Logic, 1983
• Goodman’s theorem and beyond
  Pacific Journal of Mathematics, 1979
• A note on non-extensional operations in connection with continuity and recursiveness
  Indagationes Mathematicae, 1977
• About Models for Intuitionistic Type Theories and the Notion of Definitional Equality
  Published by Elsevier ,1975
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• Realizability: A retrospective survey
  Published by Springer Nature ,1973
• A Survey of Proof Theory II
  Published by Elsevier ,1971
• The mathematical language AUTOMATH, its usage, and some of its extensions
  Published by Springer Nature ,1970
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• On the interpretation of intuitionistic number theory
  The Journal of Symbolic Logic, 1945