author | wenzelm |
Thu, 09 Oct 2014 11:00:15 +0200 | |
changeset 58638 | 5855b9b3d6a3 |
parent 58623 | 2db1df2c8467 |
child 67298 | fee3ed06a281 |
permissions | -rw-r--r-- |
58623 | 1 |
@InProceedings{paulin-tlca, |
2 |
author = {Christine Paulin-Mohring}, |
|
3 |
title = {Inductive Definitions in the System {Coq}: Rules and |
|
4 |
Properties}, |
|
5 |
crossref = {tlca93}, |
|
6 |
pages = {328-345}} |
|
7 |
||
8 |
@Proceedings{tlca93, |
|
9 |
title = {Typed Lambda Calculi and Applications}, |
|
10 |
booktitle = {Typed Lambda Calculi and Applications}, |
|
11 |
editor = {M. Bezem and J.F. Groote}, |
|
12 |
year = 1993, |
|
13 |
publisher = {Springer}, |
|
14 |
series = {LNCS 664}} |
|
15 |
||
16 |
@InCollection{szasz93, |
|
17 |
author = {Nora Szasz}, |
|
18 |
title = {A Machine Checked Proof that {Ackermann's} Function is not |
|
19 |
Primitive Recursive}, |
|
20 |
crossref = {huet-plotkin93}, |
|
21 |
pages = {317-338}} |
|
22 |
||
23 |
@book{huet-plotkin93, |
|
24 |
editor = {{G{\'e}rard} Huet and Gordon Plotkin}, |
|
25 |
title = {Logical Environments}, |
|
26 |
booktitle = {Logical Environments}, |
|
27 |
publisher = CUP, |
|
28 |
year = 1993} |
|
29 |
||
58638
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
30 |
@book{mendelson, |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
31 |
Author = {E. Mendelson}, |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
32 |
Edition = {Fourth}, |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
33 |
Publisher = {Chapman \& Hall}, |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
34 |
Title = {Introduction to Mathematical Logic}, |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
35 |
Year = {1997}} |
5855b9b3d6a3
proper @{cite} with bibtex entry (unchecked comment);
wenzelm
parents:
58623
diff
changeset
|
36 |