Russ Harmer

Russ Harmer

CNRS, Lyon
Verified email at ens-lyon.fr
Cited by 2077
graph transformation rule-based modelling game semantics
Dan R. Ghica

Dan R. Ghica

Professor of Semantics of Programming Languages, University of Birmingham
Verified email at cs.bham.ac.uk
Cited by 1823
programming languages game semantics applied category theory
Paul Blain Levy

Paul Blain Levy

Senior Lecturer, University of Birmingham
Verified email at cs.bham.ac.uk
Cited by 1773
semantics of programming languages game semantics call-by-push-value category theory semantics of nondeterminism
Giorgi Japaridze (Dzhaparidze)

Giorgi Japaridze (Dzhaparidze)

Professor of Computer Science, Villanova University
Verified email at villanova.edu
Cited by 1622
Computability Logic Game Semantics Provability Logic
Pierre Clairambault

Pierre Clairambault

CNRS & LIS, Aix-Marseille Université
Verified email at cnrs.fr
Cited by 818
Semantics of programming languages game semantics program verification proof theory concurrency
William Blum

William Blum

Microsoft
Verified email at microsoft.com
Cited by 66
Game semantics lambda calculus
Esther Anna Corsi

Esther Anna Corsi

PostDoc at University of Milan
Verified email at unimi.it
Cited by 44
mathematical fuzzy logic game semantics uncertain reasoning argumentation theory
Yannick Delbecque

Yannick Delbecque

CĂ©gep de St-Laurent
Verified email at cegepsl.qc.ca
Cited by 42
Game semantics Programming language semantics Quantum computing
Benedict Bunting

Benedict Bunting

DPhil Student, University of Oxford
Verified email at cs.ox.ac.uk
Cited by 2
Game Semantics Programming Languages