Formalizing Restriction Categories
From MaRDI portal
Publication:5195282
DOI10.6092/issn.1972-5787/6237zbMath1451.68338OpenAlexW2597769451MaRDI QIDQ5195282
Tarmo Uustalu, James T. E. Chapman, Niccolò Veltri
Publication date: 18 September 2019
Full work available at URL: https://doaj.org/article/2a8c84275bb34bc0b3a7abe0b92bb4c1
Special categories (18B99) Formalization of mathematics in connection with theorem provers (68V20) Foundations, relations to logic and deductive systems (18A15)
Related Items
Uses Software