Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494)
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: Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction |
scientific article; zbMATH DE number 7954872
| 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 7954872 |
Statements
Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (English)
0 references
6 December 2024
0 references
category
0 references
concrete sheaves
0 references
domains
0 references
higher-order
0 references
logical relations
0 references
recursion
0 references
synthetic domain theory
0 references
