‪Chris Barrett‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	11	10
h-index	2	2
i10-index	0	0

0

6

3

201720182019202020212022202320241 2 1 5 1

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Willem HeijltjesUniversity of BathVerified email at bath.ac.uk
Alessio GuglielmiUniversity of BathVerified email at Bath.Ac.UK
Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Evgenios T.A. KakariadisNewcastle UniversityVerified email at ncl.ac.uk

Chris Barrett

Chris Barrett

University of Birmingham

Verified email at bham.ac.uk - Homepage

Programming language semantics type theory category theory logic in computer science proof theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A subatomic proof system for decision trees C Barrett, A Guglielmi ACM Transactions on Computational Logic 23 (4), 1-25, 2022	4	2022
The Functional Machine Calculus II: Semantics C Barrett, W Heijltjes, G McCusker arXiv preprint arXiv:2211.13140, 2022	3	2022
On the quantized dynamics of factorial languages C Barrett, ETA Kakariadis The Quarterly Journal of Mathematics 69 (1), 119-152, 2018	2	2018
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation C Barrett arXiv preprint arXiv:2305.16073, 2023	1	2023
The functional machine calculus C Barrett, W Heijltjes, G McCusker Mathematical Foundations of Programming Semantics (MFPS 2022). Preprint …, 2022	1*	2022

The system can't perform the operation now. Try again later.

Articles 1–5