Encyclopedias articles

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

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

Logic, Higherorder, by Dale Miller.
A short article for the
Encyclopedia of Artificial Intelligence: Second Edition,
edited by S. Shapiro, 1992.
(HTML,
pdf).
Blog posts
Notation
for focused proof systems, The Proof Theory Blog,
17 October 2022 (pdf).
LK
vs LJ: An origin story for linear logic, The Proof
Theory Blog, 6 July 2022 (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), 4(3), August
1991. Available also 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)

Logical Foundations for Open System Design: A position
paper, by Dale Miller, University of Pennsylvania. ACM
Computing Surveys 28(4es), December 1996, This article derives from a
position statement prepared for the Workshop on Strategic Directions
in Computing Research.

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)