Pages that link to "Item:Q1041755"
From MaRDI portal
The following pages link to CPS transformation of beta-redexes (Q1041755):
Displaying 8 items.
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Syntactic theories in practice (Q2841251) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- Mechanized Verification of CPS Transformations (Q3498467) (← links)
- CPS transformation of flow information, Part II: administrative reductions (Q4460720) (← links)
- On one-pass CPS transformations (Q5428374) (← links)