Towards a homotopy domain theory (Q2700838)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a homotopy domain theory |
scientific article |
Statements
Towards a homotopy domain theory (English)
0 references
27 April 2023
0 references
lambda calculus
0 references
homotopic lambda model
0 references
kan complex
0 references
infinity groupoid
0 references
infinity category
0 references
