Game Semantics for Type Soundness
From MaRDI portal
Publication:4635796
DOI10.1109/LICS.2015.20zbMath1401.68172OpenAlexW1561721410MaRDI QIDQ4635796
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.20
Applications of game theory (91A80) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)