Program verification in a logical theory of constructions

This publication has 6 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• An interpretation of Martin-Löf's type theory in a type-free theory of propositions
  The Journal of Symbolic Logic, 1984
• The identification of propositions and types in Martin-Löf's type theory: A programming example
  Lecture Notes in Computer Science, 1983
• Frege Structures and the Notions of Proposition, Truth and Set
  Studies in Logic and the Foundations of Mathematics, 1980
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• First order programming logic
  Published by Association for Computing Machinery (ACM) ,1979