Localisation and interaction in one dimension
From MaRDI portal
Publication:4286525
DOI10.1088/0022-3719/16/10/003zbMath0802.68079OpenAlexW2024920744MaRDI QIDQ4286525
Publication date: 26 April 1994
Published in: Journal of Physics C: Solid State Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1088/0022-3719/16/10/003
linear logicstrong stabilitydenotational semanticscartesian closed categorypurely functional languages
Related Items
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 ⋮ Transport of finiteness structures and applications ⋮ Stable bistructure models of PCF ⋮ A relational semantics for parallelism and non-determinism in a functional setting ⋮ Unnamed Item ⋮ On phase semantics and denotational semantics in multiplicative-additive linear logic ⋮ Unnamed Item ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Preface to the special volume ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ A Relational Model of a Parallel and Non-deterministic λ-Calculus ⋮ Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings ⋮ Poset-valued sets or how to build models for linear logics ⋮ Non-Uniform Hypercoherences ⋮ Parallel and serial hypercoherences ⋮ Sequential algorithms and strongly stable functions ⋮ The sequentially realizable functionals ⋮ A relative PCF-definability result for strongly stable functions and some corollaries ⋮ A categorical representation of algebraic domains based on variations of rough approximable concepts
