Calum Hughes
Research
Talks
Teaching
CV
Gallery

Calum Hughes

PhD student studying category theory and logic at the University of Manchester.

Manchester
Email
Twitter
Instagram
Github

An algebraic internal groupoid model of Martin-Löf type theory

Date: June 09, 2025

See abstract here.

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Calum Hughes. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.