A Nominal Relational Model for Local Store

DOI10.1016/J.ENTCS.2010.08.024zbMath1342.68116OpenAlexW2121863793MaRDI QIDQ3178267

Rasmus Ejlers Møgelberg

Publication date: 8 July 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.024

zbMATH Keywords

denotational semanticsparametric polymorphismnominal setslocal store

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• Notions of computation and monads
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Modelling environments in call-by-value programming languages.
• Algebraic operations and generic effects
• On a monadic semantics for freshness
• Completeness for Algebraic Theories of Local State
• Enriching an Effect Calculus with Linear Types
• Parametricity and local variables
• Relational Reasoning for Recursive Types and References
• From Algol to polymorphic linear lambda-calculus
• Typed Lambda Calculi and Applications

This page was built for publication: A Nominal Relational Model for Local Store