Game semantics and normalization by evaluation

DOI10.1007/978-3-662-46678-0_4MaRDI QIDQ2948551zbMATH OpenOpenAlexFDO

Authors Pierre Clairambault, Peter Dybjer

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

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

Recommendations

• On full abstraction for PCF: I, II and III
• The simple type theory of normalisation by evaluation
• scientific article; zbMATH DE number 1342245
• Full abstraction for PCF
• scientific article; zbMATH DE number 2185717

Cited in

(3)

• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• Categories with families: unityped, simply typed, and dependently typed
• Disentangling parallelism and interference in game semantics

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Game semantics and normalization by evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948551)