11 citations · 12 across the 4 of their papers we have counts for
5 papers
The Relational Machine Calculus
Chris Barrett, Daniel Castle, Willem Heijltjes
This paper presents the Relational Machine Calculus (RMC): a simple, foundational model of first-order relational programming. The RMC originates from the Functional Machine Calcul…
The Functional Machine Calculus
Willem Heijltjes
This paper presents the Functional Machine Calculus (FMC) as a simple model of higher-order computation with "reader/writer" effects: higher-order mutable store, input/output, and…
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…
Decomposing Probabilistic Lambda-calculi
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typically call-by-name or call-by-value, as the calculus is non-confluent and these st…
Proof equivalence in MLL is PSPACE-complete
Willem Heijltjes, Robin Houston
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word p…