Learn More
In this quarter's Semantics column we revisit the topic of Homotopy Type Theory and its applications to constructive mathematics and computation. This continues a theme we began with an overview of(More)