| 1997 | Existence of Reduction Hierarchies. | Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis |
| 1997 | Mona & Fido: The Logic-Automaton Connection in Practice. | Nils Klarlund |
| 1997 | Equational Axioms of Test Algebra. | Marco Hollenberg |
| 1997 | A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. | Martin Hofmann |
| 1997 | A Duality Theory for Quantitative Semantics. | Reinhold Heckmann, Michael Huth |
| 1997 | Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). | Chrysafis Hartonas, Matthew Hennessy |
| 1997 | Canonization for L | Martin Grohe |
| 1997 | Classical Proofs via Basic Logic. | Claudia Faggian |
| 1997 | Spectra with Only Unary Function Symbols. | Arnaud Durand, Ronald Fagin, Bernd Loescher |
| 1997 | A Proof-Theoretical Investigation of Zantema's Problem. | Thierry Coquand, Henrik Persson |
| 1997 | Higher-Order Matching and Tree Automata. | Hubert Comon, Yan Jurski |
| 1997 | Resolution and the Weak Pigeonhole Principle. | Samuel R. Buss, Toniann Pitassi |
| 1997 | A Formulation of Linear Logic Based on Dependency-Relations. | Torben Braner, Valeria de Paiva |
| 1997 | Linear Lower Bounds and Simulations in Frege Systems with Substitutions. | Maria Luisa Bonet, Nicola Galesi |
| 1997 | A Sequent Calculus for Circumscription. | Piero A. Bonatti, Nicola Olivetti |
| 1997 | From Action Calculi to Linear Logic. | Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |
| 1997 | Timeless Games. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | Evolution as a Computational Engine. | Rolf Backofen, Peter Clote |
| 1997 | LISA: A Specification Language Based on WS2S. | Abdelwaheb Ayari, David A. Basin, Andreas Podelski |
| 1997 | Call-by-Value Games. | Samson Abramsky, Guy McCusker |
| 1996 | New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. | A. D. Yashin |
| 1996 | On Cartesian Monoids. | Richard Statman |
| 1996 | Call-by-Value, Call-by-Name and the Logic of Values. | Robert F. Strk |
| 1996 | Inductive Definitions with Decidable Atomic Formulas. | Anton Setzer |
| 1996 | A Type-Free Resource-Aware Lambda-Calculus. | Luca Roversi |