Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion |
scientific article |
Statements
Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (English)
0 references
6 August 2004
0 references
unipolar induction
0 references
primitive-recursive functions
0 references
intrinsic theories
0 references
0 references
