Explicit Computational Paths in Type Theory
Arthur Ramos · Bulletin of Symbolic Logic · 2019
The Association for Symbolic Logic publishes abstracts of recent PhD theses in logic.The aim of this activity is to publish abstracts for the majority of recent PhD theses in logic worldwide and submitted abstracts will therefore only be edited to ensure that they fall within the general area of logic and are appropriate in terms of length and content.This section will provide a permanent publicly accessible overview of theses in logic and thus make up for the lack of central repository for the theses themselves.