Pages that link to "Item:Q1120561"
From MaRDI portal
The following pages link to Decidability of the restriction equational theory in the partial lambda calculus (Q1120561):
Displaying 6 items.
- Toward a reduction system commuting with beta reduction in the partial lambda calculus (Q2768241) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- The basis decision problem in λ‐calculus (Q4304128) (← links)
- (Q4855295) (← links)
- European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93 (Q4873896) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)