Chris Barrett
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
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
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
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
Int. J. High Perform. Comput. Appl., 1991