Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721)
From MaRDI portal
scientific article; zbMATH DE number 7578342
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory |
scientific article; zbMATH DE number 7578342 |
Statements
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (English)
0 references
30 August 2022
0 references
0 references
