Recursive definitions in type theory

This publication has 22 references indexed in Scilit:

• Toward a logical theory of program data
  Published by Springer Nature ,2005
• Proofs as programs
  ACM Transactions on Programming Languages and Systems, 1985
• The Type Theory of PL/CV3
  ACM Transactions on Programming Languages and Systems, 1984
• Tω as a Universal Domain
  Journal of Computer and System Sciences, 1978
• Consent Forms
  BMJ, 1971
• Constructive validity
  Published by Springer Nature ,1970
• Formalized recursive functionals and formalized realizability
  Memoirs of the American Mathematical Society, 1969
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940
• Mathematical Logic as Based on the Theory of Types
  American Journal of Mathematics, 1908