Steffen van Bakel

According to our database, Steffen van Bakel authored at least 61 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Adding Negation to Lambda Mu.

Steffen van Bakel

Log. Methods Comput. Sci., 2023

A Calculus of Delayed Reductions.

Steffen van Bakel, Nicolas Wu, Emma Tye

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2019

Exception Handling and Classical Logic.

Steffen van Bakel

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018

Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types.

Steffen van Bakel

ACM Trans. Comput. Log., 2018

Intersection Types for the lambda-mu Calculus.

Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

Log. Methods Comput. Sci., 2018

2016

Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types.

Steffen van Bakel

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

2015

Orchestrated Session Compliance.

Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

2014

Semantic Types and Approximation for Featherweight Java.

Reuben N. S. Rowe, Steffen van Bakel

Theor. Comput. Sci., 2014

A fully-abstract semantics of lambda-mu in the pi-calculus.

Steffen van Bakel, Maria Grazia Vigliotti

Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014

2013

Preface.

Steffen van Bakel, Stefano Berardi, Ulrich Berger

Ann. Pure Appl. Log., 2013

Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday.

Steffen van Bakel, Reuben N. S. Rowe

Proceedings of the Beauty of Functional Code, 2013

2012

Completeness and Soundness Results for with Intersection and Union Types.

Steffen van Bakel

Fundam. Informaticae, 2012

Characterisation of Strongly Normalising lambda-mu-Terms.

Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract.

Steffen van Bakel, Maria Grazia Vigliotti

Proceedings of the Theoretical Computer Science, 2012

2011

Strict intersection types for the Lambda Calculus.

Steffen van Bakel

ACM Comput. Surv., 2011

Note on a simple type system for non-interference

Steffen van Bakel, Maria Grazia Vigliotti

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

Reduction in X does not agree with Intersection and Union Types (Extended abstract)

Steffen van Bakel

CoRR, 2011

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract).

Reuben N. S. Rowe, Steffen van Bakel

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

A Filter Model for the <i>λμ</i>-Calculus - (Extended Abstract).

Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010

Sound and Complete Typing for lambda-mu

Steffen van Bakel

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Completeness and partial soundness results for intersection and union typing for lambda^_µµ^_.

Steffen van Bakel

Ann. Pure Appl. Log., 2010

2009

Semantic predicate types and approximation for class-based object oriented programming.

Steffen van Bakel, Reuben N. S. Rowe

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.

Steffen van Bakel, Maria Grazia Vigliotti

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

The heart of intersection type assignment: Normalisation proofs revisited.

Steffen van Bakel

Theor. Comput. Sci., 2008

Logical Equivalence for Subtyping Object and Recursive Types.

Steffen van Bakel, Ugo de'Liguoro

Theory Comput. Syst., 2008

Computation with classical sequents.

Steffen van Bakel, Pierre Lescanne

Math. Struct. Comput. Sci., 2008

Modelling Intracellular Fate of FGF Receptors With BioAmbients.

Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Preface.

Steffen van Bakel, Stefano Berardi

Ann. Pure Appl. Log., 2008

Subject Reduction vs Intersection.

Steffen van Bakel

Proceedings of the Visions of Computer Science, 2008

2006

Approaches to Polymorphism in Classical Sequent Calculus.

Alexander J. Summers, Steffen van Bakel

Proceedings of the Programming Languages and Systems, 2006

2005

Subtyping Object and Recursive Types Logically.

Steffen van Bakel, Ugo de'Liguoro

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

The Language chi: Circuits, Computations and Classical Logic.

Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.

Steffen van Bakel

Notre Dame J. Formal Log., 2004

Intersection types for explicit substitutions.

Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel

Inf. Comput., 2004

Implementing X.

Steffen van Bakel, Jayshan Raghunandan

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Intersection and Union Types for chi.

Steffen van Bakel

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003

Normalization, approximation, and semantics for combinator systems.

Steffen van Bakel, Maribel Fernández

Theor. Comput. Sci., 2003

Logical Semantics for the First Order varsigma-Calculus.

Steffen van Bakel, Ugo de'Liguoro

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

Intersection types for lambda-trees.

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Theor. Comput. Sci., 2002

Preface.

Steffen van Bakel

Proceedings of the Intersection Types and Related Systems, 2002

Strongly Normalising Cut-Elimination with Strict Intersection Types.

Steffen van Bakel

Proceedings of the Intersection Types and Related Systems, 2002

Rank 2 Types for Term Graph Rewriting.

Steffen van Bakel

Proceedings of the International Workshop in Types in Programming, 2002

Characterising Strong Normalisation for Explicit Substitutions.

Steffen van Bakel, Mariangiola Dezani-Ciancaglini

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

Boundary Inference for Enforcing Security Policies in Mobile Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

1999

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and <i>beta</i>-Rule.

Steffen van Bakel, Franco Barbanera, Maribel Fernández

Proceedings of the Types for Proofs and Programs, 1999

1997

Normalization Results for Typeable Rewrite Systems.

Steffen van Bakel, Maribel Fernández

Inf. Comput., 1997

Comparing Cubes of Typed and Type Assignment Systems.

Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn

Ann. Pure Appl. Log., 1997

1996

Rank 2 Intersection Type Assignment in Term Rewriting Systems.

Steffen van Bakel

Fundam. Informaticae, 1996

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.

Steffen van Bakel, Franco Barbanera, Maribel Fernández

Proceedings of the Programming Languages and Systems, 1996

1995

Intersection Type Assignment Systems.

Steffen van Bakel

Theor. Comput. Sci., 1995

Normalization Properties of Typeable Term Rewriting Systems (Abstract).

Steffen van Bakel, Maribel Fernández

Proceedings of the 9th International Workshop on Unification, 1995

(Head-) Normalization of Typeable Rewrite Systems.

Steffen van Bakel, Maribel Fernández

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Approximation and Normalization Results for Typeable Term Rewriting Systems.

Steffen van Bakel, Maribel Fernández

Proceedings of the Higher-Order Algebra, 1995

1994

Comparing Cubes.

Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Principal Type Schemes for the Strict Type Assignment System.

Steffen van Bakel

J. Log. Comput., 1993

Partial Intersection Type Assignment in Applicative Term Rewriting Systems.

Steffen van Bakel

Proceedings of the Typed Lambda Calculi and Applications, 1993

Strong Normalization of Typeable Rewrite Systems.

Steffen van Bakel, Maribel Fernández

Proceedings of the Higher-Order Algebra, 1993

Essential Intersection Type Assignment.

Steffen van Bakel

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

Complete Restrictions of the Intersection Type Discipline.

Steffen van Bakel

Theor. Comput. Sci., 1992

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.

Steffen van Bakel, Sjaak Smetsers, Simon Brock

Proceedings of the CAAP '92, 1992