Monotone (co)inductive types and positive fixed-point types (Q4943544)
From MaRDI portal
scientific article; zbMATH DE number 1416500
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monotone (co)inductive types and positive fixed-point types |
scientific article; zbMATH DE number 1416500 |
Statements
Monotone (co)inductive types and positive fixed-point types (English)
0 references
24 August 2000
0 references
Fixed points
0 references
Computer science
0 references
Proceedings
0 references
Workshop
0 references
Brno (Czech Republic)
0 references
FICS'98
0 references