Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5008525
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modular correspondence between dependent type theories and categories including pretopoi and topoi |
scientific article; zbMATH DE number 5008525 |
Statements
Modular correspondence between dependent type theories and categories including pretopoi and topoi (English)
0 references
21 February 2006
0 references
type theories
0 references
topoi
0 references
axiom of choice
0 references
0.9081486
0 references
0.9052722
0 references
0 references
0.88871264
0 references
0.88870317
0 references
0.88837063
0 references
0.88769716
0 references
0.8856442
0 references
0.88562524
0 references
0.88343346
0 references
