maladorit
发表于 2025-3-28 15:13:12
David Knaak,Naveen NamashivayamProof nets, a natural deduction system for multiplicative linear logic (mLL), see
badinage
发表于 2025-3-28 20:16:56
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.
惰性女人
发表于 2025-3-28 23:27:34
http://reply.papertrans.cn/23/2226/222555/222555_43.png
高调
发表于 2025-3-29 05:01:01
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
发表于 2025-3-29 10:16:46
https://doi.org/10.1007/BFb0013452Category Theory; Domain Theory; Linear Logic; Lineare Logic; Programming Languages; Semantics; Semantik vo
有杂色
发表于 2025-3-29 12:28:24
978-3-540-54495-1Springer-Verlag Berlin Heidelberg 1991
时代
发表于 2025-3-29 16:08:19
http://reply.papertrans.cn/23/2226/222555/222555_47.png
经典
发表于 2025-3-29 20:19:18
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
发表于 2025-3-30 02:23:20
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
发表于 2025-3-30 06:50:08
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