TWO REALIZABILITY INTERPRETATIONS OF MONOTONE INDUCTIVE DEFINITIONS (Q4304621)
From MaRDI portal
scientific article; zbMATH DE number 626372
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TWO REALIZABILITY INTERPRETATIONS OF MONOTONE INDUCTIVE DEFINITIONS |
scientific article; zbMATH DE number 626372 |
Statements
TWO REALIZABILITY INTERPRETATIONS OF MONOTONE INDUCTIVE DEFINITIONS (English)
0 references
12 December 1994
0 references
conductive definitions
0 references
constructive programming
0 references
realizability
0 references
constructive logic
0 references
monotone inductive definitions
0 references
recursive data structures
0 references
recursive control structures
0 references
constructive proofs
0 references
