Concepedia

Guy McCusker

GM

Statistics

Publications

15

Citations

739

H-Index

13

Active since

1994

Affiliations

Imperial College London(Current)

University of Sussex

University of Bath

University of Edinburgh

Université Sorbonne Paris Nord

Guy McCusker is an author at Imperial College London specializing in computer science, computing, and programming languages.

Publications per year

1994–2013

15

Publications

15

A fully abstract game semantics for general references

Samson Abramsky, Kohei Honda, Guy McCusker · 2002 · 201 citations · Full text

Computing, Computer Science, Game Theory +10

Weighted Relational Models of Typed Lambda-Calculi

Giulio Manzonetto, Guy McCusker, Michele Pagani · 2013 · 79 citations

Natural Sciences, Computer Science, Mathematics +14

A fully abstract game semantics for finite nondeterminism

Russell Harmer, Guy McCusker · 2003 · 76 citations

Computing, Computer Science, Formal Methods +10

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions

Samson Abramsky, Guy McCusker · Electronic Notes in Theoretical Computer Science · 1996 · 73 citations · Full text

Computing, Computer Science, Game Theory +13

The regular-language semantics of second-order idealized ALGOL

Dan R. Ghica, Guy McCusker · Theoretical Computer Science · 2003 · 58 citations · Full text

Computing, Computer Science, Formal Methods +11

1–5 of 15