The following pages link to (Q4083398):
Displaying 9 items.
- Expressibility of functionals in D. Scott's LCF language (Q599804) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
- Finite type structures within combinatory algebras (Q1182485) (← links)
- A global representation of the recursive functions in the \(\lambda\)- calculus (Q1245931) (← links)
- Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals (Q1362334) (← links)
- Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees (Q2430010) (← links)
- Defining totality in the enumeration degrees (Q5741445) (← links)
