The following pages link to (Q4855295):
Displaying 7 items.
- A decidable theory of type assignment (Q365669) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- A simple proof of a theorem of Statman (Q1199546) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- On the \(\lambda Y\) calculus (Q1886326) (← links)
- Decidability for non-standard conversions in typed lambda-calculi (Q2794668) (← links)
- (Q4323124) (← links)