The anatomy of innocence revisited

Russ Harmer (1) , Olivier Laurent (1)

1 PPS - Preuves, Programmes et Systèmes

We refine previous analyses of Hyland-Ong game semantics and its relation to lambda- and lambda-mu-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.

Domaines: Informatique et théorie des jeux [cs.GT]; Logique en informatique [cs.LO]

Russ Harmer, Olivier Laurent. The anatomy of innocence revisited. Nov 2006, pp.224-235, ⟨10.1007/11944836_22⟩. ⟨hal-00124569⟩