|
11368
|
1 |
|
|
|
2 |
@Book{davenport92,
|
|
|
3 |
author = {H. Davenport},
|
|
|
4 |
title = {The Higher Arithmetic},
|
|
|
5 |
publisher = {Cambridge University Press},
|
|
|
6 |
year = 1992
|
|
|
7 |
}
|
|
|
8 |
|
|
10253
|
9 |
@InProceedings{paulin-tlca,
|
|
|
10 |
author = {Christine Paulin-Mohring},
|
|
|
11 |
title = {Inductive Definitions in the System {Coq}: Rules and
|
|
|
12 |
Properties},
|
|
|
13 |
crossref = {tlca93},
|
|
|
14 |
pages = {328-345}}
|
|
|
15 |
|
|
|
16 |
@Proceedings{tlca93,
|
|
|
17 |
title = {Typed Lambda Calculi and Applications},
|
|
|
18 |
booktitle = {Typed Lambda Calculi and Applications},
|
|
|
19 |
editor = {M. Bezem and J.F. Groote},
|
|
|
20 |
year = 1993,
|
|
|
21 |
publisher = {Springer},
|
|
|
22 |
series = {LNCS 664}}
|