by Roberto Di Cosmo
Miller. The Stanford Encyclopedia of
Philosophy, Edward N. Zalta (ed.).
version dated 24 May 2019.
Three entries in
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.
for focused proof systems, The Proof Theory Blog,
17 October 2022 (pdf).
vs LJ: An origin story for linear logic, The Proof
Theory Blog, 6 July 2022 (pdf).
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.
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
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.
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.
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
Proofs in Higher-Order Logic, by Dale Miller.
PhD Carnegie Mellon University, Department of Mathematics.
University of Pennsylvania technical report MS-CIS-83-37.