Pages that link to "Item:Q897936"
From MaRDI portal
The following pages link to Subexponential concurrent constraint programming (Q897936):
Displaying 14 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- A General Proof System for Modalities in Concurrent Constraint Programming (Q2842123) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)