Pages that link to "Item:Q3608416"
From MaRDI portal
The following pages link to The Theory of Calculi with Explicit Substitutions Revisited (Q3608416):
Displaying 16 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- The spirit of node replication (Q2233421) (← links)
- On explicit substitution with names (Q2392486) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Jumping Boxes (Q3644740) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
