Polymorphic Game Semantics for Dynamic Binding
From MaRDI portal
Publication:5278413
DOI10.4230/LIPIcs.CSL.2016.27zbMath1369.68144OpenAlexW2529026958MaRDI QIDQ5278413
Publication date: 19 July 2017
Full work available at URL: http://opus.bath.ac.uk/52458/
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Polymorphic Game Semantics for Dynamic Binding
