Home
Publications
Talks
Teaching
CV
Johannes Schipp von Branitz
Follow
Nottingham, United Kingdom
Email
Github
ORCID
Talks
Primitive Recursive (Homotopy) Type Theory at
HoTT/UF
, 2024-04-02, [
slides
] [
arxiv
]
Displayed Univalent Reflexive Graphs in Cubical Type Theory, at
Agda Implementors’ Meeting XXXIII
, 2020-10-05