Travelled to:
1 × Serbia
Collaborated with:
S.Salvati
Talks about:
type (2) calculus (1) inhabit (1) simpli (1) semant (1) uniqu (1) game (1)
Person: Pierre Bourreau
DBLP: Bourreau:Pierre
Contributed to:
Wrote 1 papers:
- TLCA-2011-BourreauS #game studies #semantics #λ-calculus
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.