title: A new formalization of a meta-game using the lambda calculus.
abstract: This paper presents a new game system formalism. The system describes both strategies and a game master (who computes scores in a given game system) in terms of lambda-calculus. This formalism revisits the prisoner's dilemma game, to discuss how meta-strategies emerge in this classical game, even without repetition. We have also examined the evolution of meta-strategies in lambda formalism.
authors.affiliation: The Faculty of Economics, Kyoto Sangyo University, Kyoto 603-8555, Japan. gen@cc.kyoto-su.ac.jp
authors.forename: Gen
authors.initials: G
authors.lastname: Masumoto
authors.forename: Takashi
authors.initials: T
authors.lastname: Ikegami
mesh_terms: D019295:Computational Biology / Q000379:methods*; D005716:Game Theory; D006801:Humans; D008433:Mathematics; D008957:Models, Genetic; D008962:Models, Theoretical; D012984:Software