Propositions and specifications of programs in Martin-Löf's type theory

This publication has 10 references indexed in Scilit:

• Constructions, proofs and the meaning of logical constants
  Journal of Philosophical Logic, 1983
• The identification of propositions and types in Martin-Löf's type theory: A programming example
  Lecture Notes in Computer Science, 1983
• A critique of the foundations of Hoare style programming logics
  Communications of the ACM, 1982
• Program Specification
  Lecture Notes in Computer Science, 1982
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Constructive validity
  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
• Zur Deutung der intuitionistischen Logik
  Mathematische Zeitschrift, 1932