The UC Irvine Libraries support
the Chancellor's Distinguished Fellows Series by providing a bibliography
of the works of each Fellow. The bibliographies are available in print
at the Langson and Science Libraries and at each public event.

"Formal Theories for Transfinite Iterations of Generalized Inductive
Definitions and Some Subsystems of Analysis." In A. Kino, J. Myhill
and R. E. Vesley, eds., Intuitionism and Proof Theory: Proceedings
of the Summer
Conference at Buffalo, N.Y., 1968, pp. 303-326. Conference on Intuitionism
and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic
and the Foundations of Mathematics. Amsterdam: North-Holland, 1970.
UCI Science Library QA9 C742 1968 Bar

"Hereditarily Replete Functionals over the Ordinals." In A.
Kino, J. Myhill and R. E. Vesley, eds., Intuitionism and Proof Theory:
Proceedings of the Summer
Conference at Buffalo, N.Y., 1968, pp. 289-301. Conference on Intuitionism
and Proof Theory, 1968, State University of New York at Buffalo. Studies in Logic
and the Foundations of Mathematics. Amsterdam: North-Holland, 1970.
UCI Science Library QA9 C742 1968 Bar

"A Theory of Variable Types." Revista Colombiana de
Matématicas (1985), 19(1-2):95-105.
Part of the Proceedings of the 5th Latin American Symposium on Mathematical
Logic,
Bogotá, 1981.

"Working Foundations." Synthese (February 1985),
62(2):229-254.
This issue contains papers given at the Conference on "The Present State
of the Problem of Foundations of Mathematics, Florence,
1981."
UCI Science Library Q4 S9 Drum

"Julia Bowman Robinson, December 8, 1919 - July 30,
1985." Biographical Memoirs of the National Academy of
Sciences (1994), 63:453-478.

"Definedness." Erkenntnis (November 1995),
43(3):295-320.
Presented at a mini-Conference on 17 February 1995 at the University of
California at Irvine, under the auspices of the UCI Program in the History
and Philosophy of Science.
Issue is entitled: "Varia, with a Workshop on the Foundations of Partial
Functions and Programming (Irvine, CA, 1995)." Edited by Karel Lambert.
UCI Langson Library B1 J79