The following pages link to The linear abstract machine (Q1105351):
Displayed 31 items.
- Preface to the special volume (Q534064) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Notions of computation and monads (Q757075) (← links)
- Language in action (Q1177646) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- Linear logic with fixed resources (Q1326773) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Contraction-free Proofs and Finitary Games for Linear Logic (Q2805162) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- (Q3480250) (← links)
- A new constructive logic: classic logic (Q4006233) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- A model for syntactic control of interference (Q4286528) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← links)
- From Petri nets to linear logic (Q4713398) (← links)
- FUZZY CHU SPACES AND FUZZY TOPOLOGIES (Q4824656) (← links)
- Reference counting as a computational interpretation of linear logic (Q4895551) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5015209) (← links)
- Decomposing typed lambda calculus into a couple of categorical programming languages (Q5057475) (← links)
- Quantitative domains, groupoids and linear logic (Q5096259) (← links)
- Declarative continuations: An investigation of duality in programming language semantics (Q5096263) (← links)
- From petri nets to linear logic (Q5096267) (← links)
- A syntax for linear logic (Q5890063) (← links)
- Quantitative weak linearisation (Q6164467) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)