Pages that link to "Item:Q2866344"
From MaRDI portal
The following pages link to Local bigraphs and confluence: two conjectures (extended abstract) (Q2866344):
Displaying 19 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- On the value of variables (Q2401632) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- An algebra for directed bigraphs (Q2870313) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- Kind Bigraphs (Q4982073) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Optimality and the linear substitution calculus (Q5111304) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
- A strong call-by-need calculus (Q6135746) (← 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)