Game Semantics and Normalization by Evaluation

DOI10.1007/978-3-662-46678-0_4zbMath1459.68112OpenAlexW754892430MaRDI QIDQ2948551

Peter Dybjer, Pierre Clairambault

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_4

Mathematics Subject Classification ID

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

Related Items (1)

Categories with Families: Unityped, Simply Typed, and Dependently Typed

Uses Software

• Haskell

This page was built for publication: Game Semantics and Normalization by Evaluation