No label defined (Q4489070)
From MaRDI portal
scientific article; zbMATH DE number 1471986
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1471986 |
Statements
28 October 2001
0 references
adjunction
0 references
junction
0 references
cut-elimination
0 references
normal form for arrow terms
0 references
decision procedures
0 references
commutativity of diagrams
0 references
geometric rewriting
0 references
coherence
0 references
