Chris Barrett

11 papers A* 2B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs.
LICS
Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu
2024 J jnl
Equivalence Hypergraphs: E-Graphs for Monoidal Theories.
CoRR
Dan R. Ghica, Chris Barrett, Aleksei Tiurin
2024 A* conf
The Relational Machine Calculus.
LICS
Chris Barrett, Daniel Castle, Willem Heijltjes
2024 J jnl
The Relational Machine Calculus.
CoRR
Chris Barrett, Daniel Castle, Willem Heijltjes
2023 J jnl
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation.
CoRR
Chris Barrett
2023 B conf
The Functional Machine Calculus II: Semantics.
CSL
Chris Barrett, Willem Heijltjes, Guy McCusker
2022 J jnl
A Subatomic Proof System for Decision Trees.
ACM Trans. Comput. Log.
Chris Barrett, Alessio Guglielmi
2022 J jnl
The Functional Machine Calculus II: Semantics.
CoRR
Chris Barrett, Willem Heijltjes, Guy McCusker
2021 J jnl
A Subatomic Proof System for Decision Trees.
CoRR
Chris Barrett, Alessio Guglielmi
1994 — conf
Multi-user domains and virtual campuses: implications for computer-mediated collaboration and technical communication.
SIGDOC
Brad Mehlenbacher, Beth Hardin, Chris Barrett, Jim Clagett
1991 J jnl
Centers of Supercomputing - Supercomputing At Los Alamos National Laboratory.
Int. J. High Perform. Comput. Appl.
Chris Barrett, Frank Bobrowicz, Ralph G. Brickner, Bradley A. Clark, Rajan Gupta, Ann H. Hayes, Harold Trease, Andrew B. White Jr.