Guy McCusker – Research output — the University of Bath's research portal

View Scopus Profile

Phone+44 (0) 1225 383578
EmailG.A.McCuskerbath.acuk

1 WEST 4.54

Accepting Doctoral Students

If you made any changes in Pure these will be visible here soon.

12 Article
7 Chapter or section
4 Chapter in a published conference proceeding
1 Paper

1 results

Filter

2023
The Functional Machine Calculus II: Semantics
Barrett, C., Heijltjes, W. & McCusker, G., 3 Feb 2023. 18 p.
Research output: Contribution to conference › Paper › peer-review

Open Access