∞-Groupoid Generated by an Arbitrary Topological λ-Model (Q5092562)
From MaRDI portal
scientific article; zbMATH DE number 7561914
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ∞-Groupoid Generated by an Arbitrary Topological λ-Model |
scientific article; zbMATH DE number 7561914 |
Statements
∞-Groupoid Generated by an Arbitrary Topological λ-Model (English)
0 references
22 July 2022
0 references
lambda calculus
0 references
lambda model
0 references
infinity groupoid
0 references
homotopy
0 references
Scott topology
0 references
