Algorithmic Nominal Game Semantics
No abstract available.
Related papers
- Full abstraction for nominal Scott domains POPL 2013
- Algorithmic Game Semantics and Static Analysis SAS 2005
- Semantic Casts: Contracts and Structural Subtyping in a Nominal World ECOOP 2004
- Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics OOPSLA 2025
- Learning nominal automata POPL 2017
- Nominal logic programming TOPLAS 2008
- Nominal Recursors as Epi-Recursors POPL 2024
- Nominal system T POPL 2010