scientific article; zbMATH DE number 3850461

MaRDI QIDQ3319764zbMATH OpenFDO

Authors Robert Constable

Publication date 1983

zbMATH Keywords

type theoryfunction spacepartial recursive functionscombinatorspropositions-as-typesquotient typesautomated logicdesign of programming logicsEdinburgh LCFPL/CVPRLprogramming languages and logicsstrong intensionality

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Other constructive mathematics (03F65) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3894466
• Constructive Mathematics in Theory and Programming Practice
• scientific article; zbMATH DE number 177798
• Between constructive mathematics and PROLOG
• Constructive Mathematics and Functional Programming (Abstract)
• Constructive mathematics: a foundation for computable analysis
• scientific article; zbMATH DE number 4201592
• Predicate logics of constructive mathematical theories
• scientific article; zbMATH DE number 4125400
• A bridge between constructive logic and computer programming

Cited in

(18)

• Constructive Mathematics in Theory and Programming Practice
• Programming as a mathematical exercise
• scientific article; zbMATH DE number 5072506 (Why is no real title available?)
• Type theory as a foundation for computer science
• scientific article; zbMATH DE number 3936476 (Why is no real title available?)
• scientific article; zbMATH DE number 3894466 (Why is no real title available?)
• A bridge between constructive logic and computer programming
• Validating Brouwer's continuity principle for numbers using named exceptions
• scientific article; zbMATH DE number 4123726 (Why is no real title available?)
• Constructive system for automatic program synthesis
• Reasoning about continuous systems
• Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
• scientific article; zbMATH DE number 4006266 (Why is no real title available?)
• Lazy Theories of Operations and Types
• Constructing recursion operators in intuitionistic type theory
• scientific article; zbMATH DE number 1693508 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer

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 Q3319764)