The Lambda Lambda-Bar calculus
From MaRDI portal
Publication:2931792
DOI10.1145/2429069.2429089zbMath1301.68082MaRDI QIDQ2931792
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429089
91A07: Games with infinitely many players
68N18: Functional programming and lambda calculus
91A40: Other game-theoretic models
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items