induction on
| typing derivations
| induction on | |
| math. | индукция по |
| typing derivation | |
| progr. | дерево вывода типов |
| |||
| индукция по (n) | |||
|
induction on : 13 phrases in 3 subjects |
| General | 1 |
| Mathematics | 7 |
| Programming | 5 |