Program verification in a logical theory of constructions
Author:
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 334-349
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An interpretation of Martin-Löf's type theory in a type-free theory of propositionsThe Journal of Symbolic Logic, 1984
- The identification of propositions and types in Martin-Löf's type theory: A programming exampleLecture Notes in Computer Science, 1983
- Constructive Mathematics and Computer Programming1982
- Frege Structures and the Notions of Proposition, Truth and Set1980
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- First order programming logic1979