Equality and fixpoints in the calculus of structures (Q4635614)
From MaRDI portal
scientific article; zbMATH DE number 6863088
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equality and fixpoints in the calculus of structures |
scientific article; zbMATH DE number 6863088 |
Statements
Equality and fixpoints in the calculus of structures (English)
0 references
23 April 2018
0 references
deep inference
0 references
fixed points
0 references
linear logic
0 references
unification
0 references
