| author | wenzelm |
| Fri, 09 Jul 2021 14:41:22 +0200 | |
| changeset 73953 | 0b5e6851c722 |
| parent 71924 | e5df9c8d9d4b |
| permissions | -rw-r--r-- |
|
71924
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
1 |
@article{church40,
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
2 |
author = "Alonzo Church", |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
3 |
title = "A Formulation of the Simple Theory of Types", |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
4 |
journal = "Journal of Symbolic Logic", |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
5 |
year = 1940, |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
6 |
volume = 5, |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
7 |
pages = "56-68"} |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
8 |
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
9 |
@TechReport{Gordon:1985:HOL,
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
10 |
author = {M. J. C. Gordon},
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
11 |
title = {{HOL}: A machine oriented formulation of higher order logic},
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
12 |
institution = {University of Cambridge Computer Laboratory},
|
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
13 |
year = 1985, |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
14 |
number = 68 |
|
e5df9c8d9d4b
clarified sessions: "Notable Examples in Isabelle/Pure";
wenzelm
parents:
diff
changeset
|
15 |
} |