ProfessorsProfessors of University of BathGuy McCusker

Guy McCusker

University of Bath

H-index: 18

Europe-United Kingdom

About Guy McCusker

Guy McCusker, With an exceptional h-index of 18 and a recent h-index of 10 (since 2020), a distinguished researcher at University of Bath, specializes in the field of Computer Science.

His recent articles reflect a diverse array of research interests and contributions to the field:

An Axiomatic Account of a Fully Abstract Game Semantics for General References

The Functional Machine Calculus II: Semantics

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II

Composing dinatural transformations: Towards a calculus of substitution

A Calculus of Substitution for Dinatural Transformations. I.

A History Based Logic for Dynamic Preference Updates

Guy McCusker Information

University	University of Bath
Position	Professor of Computer Science
Citations(all)	2020
Citations(since 2020)	355
Cited By	1866
hIndex(all)	18
hIndex(since 2020)	10
i10Index(all)	25
i10Index(since 2020)	10
Email	Access Email
University Profile Page	University of Bath
Google Scholar	View Google Scholar Profile

Guy McCusker Skills & Research Interests

Computer Science

Top articles of Guy McCusker

Title	Journal	Author(s)	Publication Date
An Axiomatic Account of a Fully Abstract Game Semantics for General References		Jim Laird Guy McCusker	2023/8/2
The Functional Machine Calculus II: Semantics	arXiv preprint arXiv:2211.13140	Chris Barrett Willem Heijltjes Guy McCusker	2022/11/23
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II	Mathematical Structures in Computer Science	Masahito Hasegawa Stephen Lack Guy McCusker	2022/4
Composing dinatural transformations: Towards a calculus of substitution	Journal of Pure and Applied Algebra	Guy McCusker Alessio Santamaria	2021/10/1
A Calculus of Substitution for Dinatural Transformations. I.	arXiv preprint arXiv:2007.07576	Guy McCusker Alessio Santamaria	2020/7
A History Based Logic for Dynamic Preference Updates	Journal of Logic, Language and Information	Can Başkent Guy McCusker	2020/9