No label defined (Q4596801)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 6816943 |
scientific article; zbMATH DE number 6816943
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 6816943 |
Statements
11 December 2017
0 references
extensional type theory
0 references
undecidability
0 references
locally Cartesian closed categories
0 references
0.98641014
0 references
0.87671727
0 references
0.8682314
0 references
0.8665356
0 references
0.86653554
0 references
0.86449426
0 references
0.8616439
0 references
0.86115605
0 references
0.8585944
0 references
