Seguir
Chris Barrett
Título
Citado por
Citado por
Año
The Functional Machine Calculus II: Semantics
C Barrett, W Heijltjes, G McCusker
arXiv preprint arXiv:2211.13140, 2022
42022
A subatomic proof system for decision trees
C Barrett, A Guglielmi
ACM Transactions on Computational Logic 23 (4), 1-25, 2022
42022
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation
C Barrett
arXiv preprint arXiv:2305.16073, 2023
22023
The functional machine calculus
C Barrett, W Heijltjes, G McCusker
Mathematical Foundations of Programming Semantics (MFPS 2022). Preprint …, 2022
2*2022
On the quantized dynamics of factorial languages
C Barrett, ETA Kakariadis
The Quarterly Journal of Mathematics 69 (1), 119-152, 2018
22018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5