Pure type systems with corecursion on streams (Q5168889)
From MaRDI portal
scientific article; zbMATH DE number 6318867
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pure type systems with corecursion on streams |
scientific article; zbMATH DE number 6318867 |
Statements
Pure type systems with corecursion on streams (English)
0 references
21 July 2014
0 references
infinitary normalisation
0 references
modal operator
0 references
recursion
0 references
streams
0 references
typed lambda calculus
0 references
