scientific article; zbMATH DE number 3850461
From MaRDI portal
Publication:3319764
zbMATH Open0535.68009MaRDI QIDQ3319764FDOQ3319764
Authors: Robert Constable
Publication date: 1983
Title of this publication is not available (Why is that?)
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
type theoryfunction spacepartial recursive functionscombinatorspropositions-as-typesquotient typesautomated logicdesign of programming logicsEdinburgh LCFPL/CVPRLprogramming languages and logicsstrong intensionality
General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Other constructive mathematics (03F65) Abstract data types; algebraic specification (68Q65)
Cited In (18)
- Constructive Mathematics in Theory and Programming Practice
- Programming as a mathematical exercise
- Title not available (Why is that?)
- Type theory as a foundation for computer science
- Title not available (Why is that?)
- Title not available (Why is that?)
- A bridge between constructive logic and computer programming
- Validating Brouwer's continuity principle for numbers using named exceptions
- Title not available (Why is that?)
- Constructive system for automatic program synthesis
- Reasoning about continuous systems
- Lazy Theories of Operations and Types
- Title not available (Why is that?)
- Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
- Constructing recursion operators in intuitionistic type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)