Encyclopedias articles

Three entries in
the Encyclopedia
of Proof Systems for expansion tree proofs and the LJF and LKF
focused proof systems.

Linear Logic
by Roberto Di
Cosmo and Dale Miller. The Stanford Encyclopedia of
Philosophy, Edward N. Zalta (ed.).
Current
version dated September 2014.

Logic, Higherorder, by Dale Miller.
A short article for the
Encyclopedia of Artificial Intelligence: Second Edition,
edited by S. Shapiro, 1992.
(HTML,
pdf).
Review articles
 Review
of Advances in Linear Logic, edited by JeanYves
Girard, Yves Lafont, Laurent Regnier. Journal of Symbolic
Logic, 62(2), 1997, pp. 678680.

Review of "A computational logic" and "A computational logic handbook"
by Robert Boyer and J. Strother Moore.
Journal of Symbolic Logic, September 1990, pp. 13021304.

Review of "The Art of Prolog" by Leon Sterling and Ehud Shapiro.
Computing Reviews, 349  350, July 1987.
Glossy articles
Newsletters articles

Formalizing operational semantic specifications in logic, by
Dale Miller. Concurrency Column of the Bulletin of the EATCS, edited
by Luca Aceto. October 2008. (pdf).

Logic and Logic Programming: a personal account, by Dale Miller.
Prepared for the Newsletter
of the Association
for Logic Programming, November 2005
(pdf,
ps,
html).
Published in the February 2006 issue
(Vol. 19 n. 1).

A Survey of Linear Logic Programming, by Dale Miller.
Computational Logic: The Newsletter of the European Network in
Computational Logic, Volume 2, No. 2, December 1995, pp. 63  67.
(HTML,
PostScript,
pdf,
DVI).

Proof Theory as an Alternative to Model Theory, by Dale Miller.
A short article for the
Newsletter of the ALP (Association for Logic Programming), August
1991. Also available here.
Technical reports and other articles

Proving the completeness of proof systems using LKF: some
examples, by Ivan Gazeau and Dale Miller.
Draft dated 12 May 2009.

An overview of a proof theoretical approach to reasoning about
computation, by Dale Miller. A short annotated bibliography.
Proceedings of LFMTP08,
edited by A. Abel and C. Urban.
(pdf, slides)

Proof Explanation and Revision, by Amy Felty and Dale Miller.
University of Pennsylvania, Technical Report MSCIS8817, 1987.
(Postscript)

Proofs in HigherOrder Logic, by Dale Miller.
PhD Carnegie Mellon University, Department of Mathematics.
University of Pennsylvania technical report MSCIS8337.
(pdf)