2 citations · 4 across the 3 of their papers we have counts for
4 papers
The Functional Machine Calculus II: Semantics
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutabl…
Composing Dinatural Transformations: Towards a Calculus of Substitution
Guy McCusker, Alessio Santamaria
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in gene…
A Concrete Representation of Observational Equivalence for PCF
Martin Churchill, James Laird, Guy McCusker
The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over…
A Graph Model for Imperative Computation
Guy McCusker
Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A grap…