A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion.

Yiannis N. Moschovakis

Published in: CSL (1997)

Keyphrases

game theoretic
formal model
general purpose
lambda calculus
high level
decision problems
decision making
computational complexity
higher order