Logics for Termination and Correctness of Functional Programs

This publication has 13 references indexed in Scilit:

• Higher-order modules and the phase distinction
  Published by Association for Computing Machinery (ACM) ,1990
• Hilbert's program relativized; Proof-theoretical and foundational reductions
  The Journal of Symbolic Logic, 1988
• The essence of ML
  Published by Association for Computing Machinery (ACM) ,1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Fragments of arithmetic
  Annals of Pure and Applied Logic, 1985
• Foundations of Constructive Mathematics
  Published by Springer Nature ,1985
• Proof theoretic equivalences between classical and constructive theories for analysis
  Published by Springer Nature ,1981
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• Infinitely Long Terms of Transfinite Type
  Published by Elsevier ,1965
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958