Relative full completeness for bicategorical Cartesian closed structure (Q2200828)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative full completeness for bicategorical Cartesian closed structure |
scientific article |
Statements
Relative full completeness for bicategorical Cartesian closed structure (English)
0 references
23 September 2020
0 references
glueing
0 references
bicategories
0 references
Cartesian closure
0 references
relative full completeness
0 references
rewriting
0 references
type theory
0 references
conservative extension
0 references
0 references
0 references