Pages that link to "Item:Q4880488"
From MaRDI portal
The following pages link to Refining reduction in the lambda calculus (Q4880488):
Displaying 21 items.
- Reduction graphs in the lambda calculus (Q792994) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem (Q1185009) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule (Q1349744) (← links)
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- Toward a reduction system commuting with beta reduction in the partial lambda calculus (Q2768241) (← links)
- (Q3988401) (← links)
- Shrinking lambda expressions in linear time (Q4376489) (← links)
- (Q4521592) (← links)
- (Q4794072) (← links)
- Canonical typing and ∏-conversion in the Barendregt Cube (Q4895552) (← links)
- Reducibility Proofs in the λ-Calculus (Q4903716) (← links)
- (Q4953356) (← links)
- (Q5224689) (← links)
- THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES (Q5248982) (← links)
- Automated Deduction – CADE-19 (Q5900715) (← links)
- Parallel reductions in \(\lambda\)-calculus (Q5917605) (← links)
