The following pages link to (Q3880323):
Displaying 11 items.
- Definition and basic properties of the Deva meta-calculus (Q688825) (← links)
- Telescopic mappings in typed lambda calculus (Q757027) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The calculus of constructions (Q1108266) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Generalization from partial parametrization in higher-order type theory (Q1122980) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- Analogical program derivation based on type theory (Q1802072) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
