A functional programmer's guide to homotopy type theory

dl.acm.org

2 pointsalokrai2 comments

I am only able to download the abstract. Is there somewhere full content available?

The entire paper is available for free at the moment. Click the pdf button right above the abstract to download it.