Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) (Q6400711)
From MaRDI portal
scientific article; zbMATH DE number 900535929
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) |
scientific article; zbMATH DE number 900535929 |
Statements
31 May 2022
0 references
cs.PL
0 references
cs.LO
0 references
math.CT
0 references
