SHEAF RECURSION AND A SEPARATION THEOREM (Q2933681)
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: SHEAF RECURSION AND A SEPARATION THEOREM |
scientific article; zbMATH DE number 6377237
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SHEAF RECURSION AND A SEPARATION THEOREM |
scientific article; zbMATH DE number 6377237 |
Statements
SHEAF RECURSION AND A SEPARATION THEOREM (English)
0 references
5 December 2014
0 references
trees
0 references
sheaves
0 references
definition by recursion
0 references
closure spaces
0 references
separation theorems
0 references
