Abstract

I will talk about some of our recent work on establishing connections between homotopy type theory and reversible programming languages.

Slides