2 citations · 4 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
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…
cs.LO2010★ 2 cited
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…
cs.LO2009★ 2 cited
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…