A resource aware semantics for a focused intuitionistic calculus (Q4559602)
From MaRDI portal
scientific article; zbMATH DE number 6988322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A resource aware semantics for a focused intuitionistic calculus |
scientific article; zbMATH DE number 6988322 |
Statements
A resource aware semantics for a focused intuitionistic calculus (English)
0 references
4 December 2018
0 references
0 references
