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, Higher-order, 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 Jean-Yves Girard, Yves Lafont, Laurent Regnier. Journal of Symbolic Logic, 62(2), 1997, pp. 678-680.
• Review of "A computational logic" and "A computational logic handbook" by Robert Boyer and J. Strother Moore. Journal of Symbolic Logic, September 1990, pp. 1302-1304.
• Review of "The Art of Prolog" by Leon Sterling and Ehud Shapiro. Computing Reviews, 349 - 350, July 1987.

Glossy articles

• Improving trust in computer systems using formal proofs. Adjacent Open Access, May 2017. (pdf)
• The hunt for a broad-spectrum proof certificate. Science Impact, March 2017. (pdf)
• Developing the infrastructure for formal proofs. EU Researcher, March 2017. (pdf)

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. 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 MS-CIS-88-17, 1987. (Postscript)
• Proofs in Higher-Order Logic, by Dale Miller. PhD Carnegie Mellon University, Department of Mathematics. University of Pennsylvania technical report MS-CIS-83-37. (pdf)