| 1994 | Logic Programming in Tau Categories. | Stacy E. Finkelstein, Peter J. Freyd, James Lipton |
| 1994 | An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. | Matt Fairtlough, Michael Mendler |
| 1994 | First-Order Spectra with One Binary Predicate. | Arnaud Durand, Solomampionona Ranaivoson |
| 1994 | A Sound Metalogical Semantics for Input/Output Effects. | Roy L. Crole, Andrew D. Gordon |
| 1994 | Monadic Second-Order Logic and Linear Orderings of Finite Structures. | Bruno Courcelle |
| 1994 | Decidability of Higher-Order Subtyping with Intersection Types. | Adriana B. Compagnoni |
| 1994 | Stratified Default Theories. | Pawel Cholewinski |
| 1994 | Algorithmic Aspects of Propositional Tense Logics. | Alexander V. Chagrov, Valentin B. Shehtman |
| 1994 | The Girard Translation Extended with Recursion. | Torben Braner |
| 1994 | A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. | Viviana Bono, Luigi Liquori |
| 1994 | A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). | P. N. Benton |
| 1994 | Semi-Unification and Generalizations of a Particularly Simple Form. | Matthias Baaz, Gernot Salzer |
| 1994 | Subtyping with Singleton Types. | David Aspinall |
| 1993 | Incorporating Generalized Quantifiers and the Least Fixed Point Operator. | Iain A. Stewart |
| 1993 | Program Transformation and Proof Transformation. | Wilfried Sieg, Stanley S. Wainer |
| 1993 | Normalization for Typed Lambda Calculi with Explicit Substitution. | Eike Ritter |
| 1993 | Data Types, Infinity and Equality in System AF | Christophe Raffalli |
| 1993 | A Generic Strong Normalization Argument: Application to the Calculus of Constructions. | C.-H. Luke Ong, Eike Ritter |
| 1993 | Higher-Order Action Calculi. | Robin Milner |
| 1993 | A Horn Clause that Implies and Undecidable Set of Horn Clauses. | Jerzy Marcinkowski |
| 1993 | Oracles and Quantifiers. | Johann A. Makowsky, Y. B. Pnueli |
| 1993 | Logical Aspects of Set Constraints. | Dexter Kozen |
| 1993 | Petri Nets and the Equivalence Problem. | Yoram Hirshfeld |
| 1993 | ERRATA to "The Semantics of the C Programming Language". | Yuri Gurevich, James K. Huggins |
| 1993 | Bounded-Arity Hierarchies in Fixed-Point Logics. | Martin Grohe |