A Light Modality for Recursion (Q2988388)
From MaRDI portal
scientific article; zbMATH DE number 7029307
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Light Modality for Recursion |
scientific article; zbMATH DE number 7029307 |
Statements
A Light Modality for Recursion (English)
0 references
19 May 2017
0 references
25 February 2019
0 references
typed lambda-calculus
0 references
infinite data
0 references
productivity
0 references
denotational semantics
0 references
type inference
0 references
