A fibrational framework for possible-world semantics of \textsc{Algol}-like languages

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

zbMATH Keywords

functor; semantics; fibration; ALGOL-like languages

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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