The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Anthony Bordg, Lawrence Paulson, Wenda Li
Search publications for: doi:10.1080/10586458.2022.2062073 2 results
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types
Anthony Bordg, Lawrence Paulson, Wenda Li
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types
Anthony Bordg, Lawrence Paulson, Wenda Li