No label defined (Q2782494)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
5 August 2002
0 references
logics with variables, terms and binding operators
0 references
free unconstrained fibring
0 references
coproduct
0 references
constrained fibring
0 references
co-Cartesian lifting
0 references
Hilbert calculi
0 references
interpretation systems
0 references
category of signatures
0 references
