From Qualitative to Quantitative Semantics

DOI10.1007/978-3-662-54458-7_3zbMath1486.68023OpenAlexW2627092168MaRDI QIDQ2988359

James Laird

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54458-7_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Imperative programs as proofs via game semantics
• Sequential algorithms on concrete data structures
• Quantitative domains and infinitary algebras
• On full abstraction for PCF: I, II and III
• The regular-language semantics of second-order idealized ALGOL
• Deterministic concurrent strategies
• Constructing differential categories and deconstructing categories of games
• A Categorical Semantics of Higher Order Store
• Understanding Game Semantics Through Coherence Spaces
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Fixed Points In Quantitative Semantics
• Weighted Relational Models of Typed Lambda-Calculi
• Slot games
• Probabilistic game semantics

This page was built for publication: From Qualitative to Quantitative Semantics