| author | paulson <lp15@cam.ac.uk> |
| Fri, 08 Aug 2025 16:46:03 +0100 | |
| changeset 82969 | dedd9d13c79c |
| 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 |
} |