1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2024★ 1 cited
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…
cs.LO2023
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation
Chris Barrett
The Functional Machine Calculus (FMC) was recently introduced as a generalization of the lambda-calculus to include higher-order global state, probabilistic and non-deterministic c…
cs.LO2021
A Subatomic Proof System for Decision Trees
Chris Barrett, Alessio Guglielmi
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees.…