Functor—category semantics of programming languages and logics
Proceedings of a tutorial and workshop on Category theory and computer programming
Type algebras, functor categories and block structure
Algebraic methods in semantics
Semantical analysis of specification logic
Information and Computation
Semantics of noninterference: a natural approach
Semantics of noninterference: a natural approach
Semantical analysis of specification logic, 2
Information and Computation
Parametricity and local variables
Journal of the ACM (JACM)
Syntactic control of interference revisited
Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Craft of Programming
Higher-Order and Symbolic Computation
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Full Abstraction for the Second Order Subset of an Algol-Like Language
MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
Notions of Computation Determine Monads
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A fully abstract model for the π-calculus
Information and Computation
A category-theoretic approach to the semantics of programming languages
A category-theoretic approach to the semantics of programming languages
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Electronic Notes in Theoretical Computer Science (ENTCS)
A fibrational framework for possible-world semantics of Algol-like languages
Theoretical Computer Science
Global State Considered Helpful
Electronic Notes in Theoretical Computer Science (ENTCS)
From Comodels to Coalgebras: State and Arrays
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics for Local Computational Effects
Electronic Notes in Theoretical Computer Science (ENTCS)
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science
Mathematical models of computational and combinatorial structures
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Hi-index | 5.23 |
Given any symmetric monoidal category C, a small symmetric monoidal category @S and a strong monoidal functor j:@S-C, we construct C[x:j@S], the polynomial category with a system of (freely adjoined) monoidal indeterminates x:I-j(w), natural in w@?@S. As a special case, we construct the free co-affine category (symmetric monoidal category with initial unit) on a given small symmetric monoidal category. We then exhibit all the known categories of ''possible worlds'' used to treat languages that allow for dynamic creation of ''new'' variables, locations, or names as instances of this construction and explicate their associated universality properties. As an application of the resulting characterization of O(W), Oles's category of possible worlds, we present an O(W)-indexed Lawvere theory of many-sorted storage, generalizing the single-sorted one introduced by J. Power, and we describe explicitly an associated monad of (typed) block algebras for local storage.