Chris Barrett

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Equivalence Hypergraphs: E-Graphs for Monoidal Theories.
CoRR, 2024

The Relational Machine Calculus.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation.
CoRR, 2023

The Functional Machine Calculus II: Semantics.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022
A Subatomic Proof System for Decision Trees.
ACM Trans. Comput. Log., 2022

1994
Multi-user domains and virtual campuses: implications for computer-mediated collaboration and technical communication.
Proceedings of the 12th Annual International Conference on Documentation: technical communications at the great divide, 1994

1991
Centers of Supercomputing - Supercomputing At Los Alamos National Laboratory.
Int. J. High Perform. Comput. Appl., 1991


  Loading...