Code supporting thesis 'Formal ᴘ‑Category Theory and Normalisation for Simple Type Theory'

Apollo (University of Cambridge) 2026 Open access

Read full text
Authors: D Berry
DOI: 10.17863/cam.124568
Cited by: 0

Abstract

Rocq formalism for the author's PhD thesis, 'Formal ᴘ‑Category Theory and Normalisation for Simple Type Theory'.

Fields of Study & Subjects

Logic programming and type systems Advanced Algebra and Logic Computability AI Algorithms

Publication details

Journal / source
Apollo (University of Cambridge)
Publication date
26 January 2026
Language
EN