Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. - Steffen van Bakel; Sjaak Smetsers; Simon Brock (CAAP, 1992)

Complete Restrictions of the Intersection Type Discipline. - Steffen van Bakel (Theor. Comput. Sci., 1992)

Essential Intersection Type Assignment. - Steffen van Bakel (FSTTCS, 1993)

Strong Normalization of Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (HOA, 1993)

Partial Intersection Type Assignment in Applicative Term Rewriting Systems. - Steffen van Bakel (TLCA, 1993)

Principal Type Schemes for the Strict Type Assignment System. - Steffen van Bakel (J. Log. Comput., 1993)

Comparing Cubes. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (LFCS, 1994)

Approximation and Normalization Results for Typeable Term Rewriting Systems. - Steffen van Bakel; Maribel Fernández (HOA, 1995)

(Head-) Normalization of Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (RTA, 1995)

Normalization Properties of Typeable Term Rewriting Systems (Abstract). - Steffen van Bakel; Maribel Fernández (UNIF, 1995)

Intersection Type Assignment Systems. - Steffen van Bakel (Theor. Comput. Sci., 1995)

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (ESOP, 1996)

Rank 2 Intersection Type Assignment in Term Rewriting Systems. - Steffen van Bakel (Fundam. Informaticae, 1996)

Comparing Cubes of Typed and Type Assignment Systems. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (Ann. Pure Appl. Log., 1997)

Normalization Results for Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (Inf. Comput., 1997)

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (TYPES, 1999)

Boundary Inference for Enforcing Security Policies in Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Steffen van Bakel (IFIP TCS, 2002)

Characterising Strong Normalisation for Explicit Substitutions. - Steffen van Bakel; Mariangiola Dezani-Ciancaglini (LATIN, 2002)

Rank 2 Types for Term Graph Rewriting. - Steffen van Bakel (TIP@MPC, 2002)

Strongly Normalising Cut-Elimination with Strict Intersection Types. - Steffen van Bakel (ITRS, 2002)

Preface. - Steffen van Bakel (ITRS, 2002)

Intersection types for lambda-trees. - Steffen van Bakel; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Fer-Jan de Vries (Theor. Comput. Sci., 2002)

Logical Semantics for the First Order varsigma-Calculus. - Steffen van Bakel; Ugo de'Liguoro (ICTCS, 2003)

Normalization, approximation, and semantics for combinator systems. - Steffen van Bakel; Maribel Fernández (Theor. Comput. Sci., 2003)

Intersection and Union Types for chi. - Steffen van Bakel (ITRS, 2004)

Implementing X. - Steffen van Bakel; Jayshan Raghunandan (TERMGRAPH, 2004)

Intersection types for explicit substitutions. - Stéphane Lengrand; Pierre Lescanne; Daniel J. Dougherty; Mariangiola Dezani-Ciancaglini; Steffen van Bakel (Inf. Comput., 2004)

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. - Steffen van Bakel (Notre Dame J. Formal Log., 2004)

The Language chi: Circuits, Computations and Classical Logic. - Steffen van Bakel; Stéphane Lengrand; Pierre Lescanne (ICTCS, 2005)

Subtyping Object and Recursive Types Logically. - Steffen van Bakel; Ugo de'Liguoro (ICTCS, 2005)

Approaches to Polymorphism in Classical Sequent Calculus. - Alexander J. Summers; Steffen van Bakel (ESOP, 2006)

Subject Reduction vs Intersection. - Steffen van Bakel (BCS Int. Acad. Conf., 2008)

Preface. - Steffen van Bakel; Stefano Berardi (Ann. Pure Appl. Log., 2008)

Modelling Intracellular Fate of FGF Receptors With BioAmbients. - Steffen van Bakel; Ikra Khan; Maria Grazia Vigliotti; John K. Heath (QAPL, 2008)

Computation with classical sequents. - Steffen van Bakel; Pierre Lescanne (Math. Struct. Comput. Sci., 2008)

Logical Equivalence for Subtyping Object and Recursive Types. - Steffen van Bakel; Ugo de'Liguoro (Theory Comput. Syst., 2008)

The heart of intersection type assignment: Normalisation proofs revisited. - Steffen van Bakel (Theor. Comput. Sci., 2008)

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. - Steffen van Bakel; Maria Grazia Vigliotti (CONCUR, 2009)

Semantic predicate types and approximation for class-based object oriented programming. - Steffen van Bakel; Reuben N. S. Rowe (FTfJP@ECOOP, 2009)

Completeness and partial soundness results for intersection and union typing for lambda_µµ_. - Steffen van Bakel (Ann. Pure Appl. Log., 2010)

Sound and Complete Typing for lambda-mu - Steffen van Bakel (ITRS, 2010)

A Filter Model for the λμ-Calculus - (Extended Abstract). - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (TLCA, 2011)

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). - Reuben N. S. Rowe; Steffen van Bakel (TLCA, 2011)

Reduction in X does not agree with Intersection and Union Types (Extended abstract) - Steffen van Bakel (CoRR, 2011)

From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus - Steffen van Bakel; Luca Cardelli; Maria Grazia Vigliotti (CoRR, 2011)

Note on a simple type system for non-interference - Steffen van Bakel; Maria Grazia Vigliotti (CoRR, 2011)

Strict intersection types for the Lambda Calculus. - Steffen van Bakel (ACM Comput. Surv., 2011)

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. - Steffen van Bakel; Maria Grazia Vigliotti (IFIP TCS, 2012)

Characterisation of Strongly Normalising lambda-mu-Terms. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (ITRS, 2012)

Completeness and Soundness Results for with Intersection and Union Types. - Steffen van Bakel (Fundam. Informaticae, 2012)

Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. - Steffen van Bakel; Reuben N. S. Rowe (The Beauty of Functional Code, 2013)

Preface. - Steffen van Bakel; Stefano Berardi; Ulrich Berger 001 (Ann. Pure Appl. Log., 2013)

A fully-abstract semantics of lambda-mu in the pi-calculus. - Steffen van Bakel; Maria Grazia Vigliotti (CL&C, 2014)

Semantic Types and Approximation for Featherweight Java. - Reuben N. S. Rowe; Steffen van Bakel (Theor. Comput. Sci., 2014)

Orchestrated Session Compliance. - Franco Barbanera; Steffen van Bakel; Ugo de'Liguoro (ICE, 2015)

Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. - Steffen van Bakel (ITRS, 2016)

Intersection Types for the lambda-mu Calculus. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (Log. Methods Comput. Sci., 2018)

Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. - Steffen van Bakel (ACM Trans. Comput. Log., 2018)

Exception Handling and Classical Logic. - Steffen van Bakel (PPDP, 2019)

A Calculus of Delayed Reductions. - Steffen van Bakel; Nicolas Wu; Emma Tye (PPDP, 2023)

Adding Negation to Lambda Mu. - Steffen van Bakel (Log. Methods Comput. Sci., 2023)