of modules in logic programming. The Journal of Logic Programming, 6(1-2), 79–108. Miller, D., Nadathur, G., Pfenning, F., & Scedrov, A. (1991). Uniform proofs as a foundation for logic programming. Annals of Pure and Applied logic, 51(1-2), 125–157. Miller, D. (1991). A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of logic and computation, 1(4), 497–536. Miller, D. (1992). Unification under a mixed prefix. Journal of symbolic computation, 14(4), 321–358. Hodas, J. S., & Miller, D. (1994). Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2), 327–365. Miller, D., & Tiu, A. (2005). A proof theory for generic judgments. ACM Transactions on Computational Logic, 6(4), 749–783. Liang, C. & Miller, D. (2009). Focusing and Polarization in Linear, Intuitionistic, and Classical Logics. Theoretical Computer Science, 410(46), 4747–4768. Gacek, A., Miller, D., & Nadathur, G. (2011). Nominal abstraction. Information and Computation 209(1), 48–73. Chihani, Z., Miller, D., & Renaud, F. (2017). A semantic framework for proof evidence. Journal of Automated Reasoning. 59(3) 287–330. Miller, D. (2022). A survey of the proof-theoretic foundations of logic programming. Theory and Practice of Logic Programming, 22(6), 859–904. References American computer scientists American scientists Computer scientists American writers Living people Lebanon Valley College alumni University of Pennsylvania faculty Academic staff of École Polytechnique Year of birth missing (living people)