Operational Nominal Game Semantics

DOI10.1007/978-3-662-46678-0_17zbMath1459.68036OpenAlexW825122159MaRDI QIDQ2949444

Guilhem Jaber

Publication date: 1 October 2015

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-46678-0_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Complete trace models of state and control

This page was built for publication: Operational Nominal Game Semantics