The following pages link to (Q3319764):
Displaying 11 items.
- Constructive system for automatic program synthesis (Q912589) (← links)
- Reasoning about continuous systems (Q918217) (← links)
- Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
- A bridge between constructive logic and computer programming (Q1179711) (← links)
- Constructive mathematics and mathematical logic. Part X. Transl. from the Russian (Q1578747) (← links)
- On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777) (← links)
- Programming as a mathematical exercise (Q3221387) (← links)
- (Q3408826) (← links)
- Constructive Mathematics in Theory and Programming Practice (Q4237644) (← links)
- Lazy Theories of Operations and Types (Q4272506) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)