Pages that link to "Item:Q4286525"

The following pages link to Localisation and interaction in one dimension (Q4286525):

Displaying 23 items.

• A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
• Preface to the special volume (Q534064) (← links)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
• Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings (Q1027645) (← links)
• Parallel and serial hypercoherences (Q1583243) (← links)
• Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
• The sequentially realizable functionals (Q1849853) (← links)
• A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
• Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
• Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
• Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
• On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
• A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
• Sequential algorithms and strongly stable functions (Q2570134) (← links)
• Non-uniform hypercoherences (Q2842815) (← links)
• A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
• (Q4513578) (← links)
• Transport of finiteness structures and applications (Q4577981) (← links)
• (Q4842969) (← links)
• Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
• (Q5018484) (← links)
• Stable bistructure models of PCF (Q5096876) (← links)
• Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)