The following pages link to (Q3793765):
Displaying 10 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Telescopic mappings in typed lambda calculus (Q757027) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The calculus of constructions (Q1108266) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Higher-order substitutions (Q1854398) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
