Programming before theorizing, a case study (Q5244547)
From MaRDI portal
scientific article; zbMATH DE number 6420370
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Programming before theorizing, a case study |
scientific article; zbMATH DE number 6420370 |
Statements
Programming before theorizing, a case study (English)
0 references
27 March 2015
0 references
Eilenberg-MacLane spaces
0 references
Eilenberg-Zilber theorems
0 references
bar construction
0 references
classifying spaces
0 references
constructive algebraic topology
0 references
fibrations
0 references
homotopy groups
0 references
