A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
From MaRDI portal
Publication:879351
DOI10.1016/j.tcs.2006.12.025zbMath1135.68032MaRDI QIDQ879351
Claudio Hermida, Robert D. Tennent
Publication date: 11 May 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.025
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
18D30: Fibered categories
18C50: Categorical semantics of formal languages
Related Items
Monoidal indeterminates and categories of possible worlds, Monoidal Indeterminates and Categories of Possible Worlds
Cites Work
- Semantical analysis of specification logic
- On exponentiating exponentiation
- Categorical logic and type theory
- Semantical analysis of specification logic. II
- Full abstraction for the second order subset of an Algol-like language
- Syntactic control of interference revisited
- Descent on 2-fibrations and strongly 2-regular 2-categories
- Monoidal Indeterminates and Categories of Possible Worlds
- Parametricity and local variables
- Axiomatic Domain Theory in Categories of Partial Maps
- From Algol to polymorphic linear lambda-calculus
- Categorical models for Abadi and Plotkin's logic for parametricity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item