Titlebook: Category Theory and Computer Science; Paris, France, Septe David H. Pitt,Pierre-Louis Curien,David E. Rydehea Conference proceedings 1991 S

maladorit

David Knaak,Naveen NamashivayamProof nets, a natural deduction system for multiplicative linear logic (mLL), see

badinage

Collapsing graph models by preorders,We present a strategy for obtaining extensional (partial) combinatory algebras by slightly modifying the well-known construction of graph models for the untyped lambda calculus. Using the notion of weak cartesian closed category an elegant interpretation of our construction in a category theoretical setting is given.

惰性女人

高調(diào)

Applications of the calculus of trees to process description languages,te concurrent calculus. Then, suitable motors that constructively define canonical representatives for strong and observational congruence based on the notion of bisimulation are introduced in a clean and straightforward way. This enables us to provide the calculus with a fully abstract semantics up to the above congruences.

Endometrium

https://doi.org/10.1007/BFb0013452Category Theory; Domain Theory; Linear Logic; Lineare Logic; Programming Languages; Semantics; Semantik vo

有雜色

978-3-540-54495-1Springer-Verlag Berlin Heidelberg 1991

時代

經(jīng)典

Optimal Search for Moving Targetste concurrent calculus. Then, suitable motors that constructively define canonical representatives for strong and observational congruence based on the notion of bisimulation are introduced in a clean and straightforward way. This enables us to provide the calculus with a fully abstract semantics up to the above congruences.

resilience

Bifinite domains: Stable case,nites (or equivalently sfp) over .. Its objects are characterized as ω-algebraic Cpos∧ satisfying a "combination" of property M, as in Smyth theorem, and property ., as introduced by Berry, that we call property (MI)*..We "test" the category . via a series of classical constructions in domain theory

Ligneous

Categories of information systems, proposed axioms introduce a global partial order on the morphisms of the category, making them an ω-algebraic cpo. An initial algebra theorem for a class of endofunctors continuous on the cpo of morphisms is proved, thus giving canonical solution of domain equations. An effective version of these r