| 1997 | Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers Dirk van Dalen, Marc Bezem |
| 1996 | A Type-Free Resource-Aware Lambda-Calculus. Luca Roversi |
| 1996 | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. Marcelo P. Fiore, Gordon D. Plotkin |
| 1996 | Bounded-Variable Fixpoint Queries are PSPACE-complete. Stefan Dziembowski |
| 1996 | Call-by-Value, Call-by-Name and the Logic of Values. Robert F. Stärk |
| 1996 | Coercive Subtyping in Type Theory. Zhaohui Luo |
| 1996 | Computational Aspects of Arity Hierarchies. Henrik Imhof |
| 1996 | Computational Representations of Herbrand Models Using Grammars. Robert Matzinger |
| 1996 | Cut-free Display Calculi for Relation Algebras. Rajeev Goré |
| 1996 | Directed Virtual Reductions. Vincent Danos, Marco Pedicini, Laurent Regnier |
| 1996 | Eta-Expansions in F Neil Ghani |
| 1996 | Exact Pairs for Abstract Bounded Reducibilities. Wolfgang Merkle |
| 1996 | Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. Herman Geuvers |
| 1996 | Fast Cut-Elimination by Projection. Matthias Baaz, Alexander Leitsch |
| 1996 | Four-Valued Diagnoses for Stratified Knowledge-Bases. Ofer Arieli, Arnon Avron |
| 1996 | Graph Rewriting Semantics for Functional Programming Languages. Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |
| 1996 | Inductive Definitions with Decidable Atomic Formulas. Anton Setzer |
| 1996 | Kleene Algebra with Tests: Completeness and Decidability. Dexter Kozen, Frederick Smith |
| 1996 | Monadic NP and Built-in Trees. Martin Kreidler, Detlef Seese |
| 1996 | New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. A. D. Yashin |
| 1996 | On Cartesian Monoids. Richard Statman |
| 1996 | On the Subject Reduction Property for Algebraic Type Systems. Gilles Barthe, Paul-André Melliès |
| 1996 | Optimization Problems with Approximation Schemes. Anders Malmström |
| 1996 | Presheaf Models for Concurrency. Gian Luca Cattani, Glynn Winskel |
| 1996 | Proofs in System F Sophie Malecki |
| 1996 | Relative Undecidability in Term Rewriting. Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
| 1996 | Social Confluence in Client-Server Systems. Anna Philippou, David Walker |
| 1996 | The Logic of Explicitly Presentation-Invariant Circuits. Martin Otto |
| 1996 | Weak Semantics Based on Lighted Button Pressing Experiments. Anna Ingólfsdóttir |