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

DOI10.1016/j.tcs.2006.12.025zbMath1135.68032OpenAlexW1974431732MaRDI 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

functorsemanticsfibrationALGOL-like languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Fibered categories (18D30) Categorical semantics of formal languages (18C50)

Related Items (2)

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

This page was built for publication: A fibrational framework for possible-world semantics of \textsc{Algol}-like languages