No label defined (Q3768900)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1986
0 references
tripos
0 references
Categories as deductive systems
0 references
substitution
0 references
indexed category
0 references
doctrine
0 references
natural numbers object
0 references
primitive recursion object
0 references
internalization
0 references
topos
0 references
type theory
0 references
