scientific article; zbMATH DE number 4143955

MaRDI QIDQ3475253zbMATH OpenFDO

Authors Jan Smith

Publication date 1987

zbMATH Keywords

law of the excluded middleMartin-L f's type theorynonconstructive type theoryreasoning about programsspecification

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Recommendations

• Program derivation in type theory: A partitioning problem
• Propositions and specifications of programs in Martin-Löf's type theory
• Program development in constructive type theory
• Studies of a theory of specifications with built-in program extraction
• Towards the theory of programming in constructive logic

Cited in

(10)

• Program derivation in type theory: A partitioning problem
• scientific article; zbMATH DE number 1302060 (Why is no real title available?)
• scientific article; zbMATH DE number 515745 (Why is no real title available?)
• A Type Theory with Mixed Constructivity and Assignments
• The structure of Nuprl's type theory
• scientific article; zbMATH DE number 7356679 (Why is no real title available?)
• Program testing and the meaning explanations of intuitionistic type theory
• Propositions and specifications of programs in Martin-Löf's type theory
• On basic semantics of untyped functional programs
• Do-it-yourself type theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3475253)