Pages that link to "Item:Q3540177"
From MaRDI portal
The following pages link to On the Relations between the Syntactic Theories of λμ-Calculi (Q3540177):
Displaying 7 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
