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