Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two extensions of system F with (co)iteration and primitive (co)recursion principles |
scientific article |
Statements
Two extensions of system F with (co)iteration and primitive (co)recursion principles (English)
0 references
18 December 2009
0 references
coiteration
0 references
corecursion
0 references
iteration
0 references
primitive recursion
0 references
System F
0 references
monotone inductive type
0 references
monotone coinductive type
0 references
monotonicity witness
0 references
saturated sets
0 references
coalgebras
0 references
dialgebras
0 references
