Localisation and interaction in one dimension
From MaRDI portal
Recommendations
Cited in
(26)- Parallel and serial hypercoherences
- Poset-valued sets or how to build models for linear logics
- The sequentially realizable functionals
- A relative PCF-definability result for strongly stable functions and some corollaries
- Comparing hierarchies of types in models of linear logic
- Softness of MALL proof-structures and a correctness criterion with Mix
- Projecting sequential algorithms on strongly stable functions
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- A categorical representation of algebraic domains based on variations of rough approximable concepts
- Sequential algorithms and strongly stable functions
- scientific article; zbMATH DE number 1678365 (Why is no real title available?)
- Non-uniform hypercoherences
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- A relational semantics for parallelism and non-determinism in a functional setting
- scientific article; zbMATH DE number 1531361 (Why is no real title available?)
- Preface
- Transport of finiteness structures and applications
- scientific article; zbMATH DE number 786488 (Why is no real title available?)
- Towards lambda calculus order-incompleteness
- The bang calculus and the two Girard's translations
- Stable bistructure models of PCF (preliminary draft)
- Preface to the special volume
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
- Semantic bounds and multi types, revisited
- A proof-theoretic approach to the semantics of classical linear logic
This page was built for publication: Localisation and interaction in one dimension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4286525)
