Gluing resource proof-structures: inhabitation and inverting the Taylor expansion (Q6346667)
From MaRDI portal
scientific article; zbMATH DE number 7566060
Language | Label | Description | Also known as |
---|---|---|---|
English | Gluing resource proof-structures: inhabitation and inverting the Taylor expansion |
scientific article; zbMATH DE number 7566060 |
Statements
6 August 2020
0 references
cs.LO
0 references
math.LO
0 references