The following pages link to (Q5604461):
Displaying 12 items.
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Propositions and specifications of programs in Martin-Löf's type theory (Q800719) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Constructive algebraic integration theory (Q2575777) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- (Q5091143) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
