Pages that link to "Item:Q4236202"
From MaRDI portal
The following pages link to An environment machine for the λμ-calculus (Q4236202):
Displayed 11 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- A Third-Order Representation of the λμ-Calculus (Q2841236) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)