Steffen van Bakel

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 10

Top Topics

Top Venues

Log. Methods Comput. Sci.

The Beauty of Functional Code

Publications

Steffen van Bakel
Adding Negation to Lambda Mu. Log. Methods Comput. Sci. 19 (2) (2023)
Steffen van Bakel, Nicolas Wu, Emma Tye
A Calculus of Delayed Reductions. PPDP (2023)
Steffen van Bakel
Adding Negation to Lambda Mu. CoRR (2021)
Steffen van Bakel
Exception Handling and Classical Logic. PPDP (2019)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. 14 (1) (2018)
Steffen van Bakel
Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. ACM Trans. Comput. Log. 19 (1) (2018)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Intersection Types for the lambda-mu Calculus. CoRR (2017)
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Orchestrated session compliance. J. Log. Algebraic Methods Program. 86 (1) (2017)
Steffen van Bakel
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ITRS (2016)
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Orchestrated Session Compliance. ICE (2015)
Steffen van Bakel, Maria Grazia Vigliotti
A fully-abstract semantics of lambda-mu in the pi-calculus. CL&C (2014)
Reuben N. S. Rowe, Steffen van Bakel
Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. 517 (2014)
Steffen van Bakel, Reuben N. S. Rowe
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. The Beauty of Functional Code (2013)
Steffen van Bakel, Stefano Berardi, Ulrich Berger
Preface. Ann. Pure Appl. Log. 164 (6) (2013)
Steffen van Bakel
Completeness and Soundness Results for with Intersection and Union Types. Fundam. Informaticae 121 (1-4) (2012)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Characterisation of Strongly Normalising lambda-mu-Terms. ITRS (2012)
Steffen van Bakel, Maria Grazia Vigliotti
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS (2012)
Steffen van Bakel
Strict intersection types for the Lambda Calculus. ACM Comput. Surv. 43 (3) (2011)
Steffen van Bakel
Reduction in X does not agree with Intersection and Union Types (Extended abstract) CoRR (2011)
Steffen van Bakel, Reuben N. S. Rowe
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming CoRR (2011)
Reuben N. S. Rowe, Steffen van Bakel
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA (2011)
Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus CoRR (2011)
Steffen van Bakel, Maria Grazia Vigliotti
Note on a simple type system for non-interference CoRR (2011)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
-Calculus - (Extended Abstract). TLCA (2011)
Steffen van Bakel
. Ann. Pure Appl. Log. 161 (11) (2010)
Steffen van Bakel
Sound and Complete Typing for lambda-mu ITRS (2010)
Steffen van Bakel, Stefano Berardi, Ulrich Berger
Preface. Ann. Pure Appl. Log. 161 (11) (2010)
Steffen van Bakel, Reuben N. S. Rowe
Semantic predicate types and approximation for class-based object oriented programming. FTfJP@ECOOP (2009)
Steffen van Bakel, Maria Grazia Vigliotti
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR (2009)
Steffen van Bakel, Ugo de'Liguoro
Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42 (3) (2008)
Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath
Modelling Intracellular Fate of FGF Receptors With BioAmbients. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Steffen van Bakel, Stefano Berardi
Preface. Ann. Pure Appl. Log. 153 (1-3) (2008)
Steffen van Bakel
Subject Reduction vs Intersection. BCS Int. Acad. Conf. (2008)
Steffen van Bakel, Pierre Lescanne
Computation with classical sequents. Math. Struct. Comput. Sci. 18 (3) (2008)
Steffen van Bakel
The heart of intersection type assignment: Normalisation proofs revisited. Theor. Comput. Sci. 398 (1-3) (2008)
Alexander J. Summers, Steffen van Bakel
Approaches to Polymorphism in Classical Sequent Calculus. ESOP (2006)
Steffen van Bakel, Ugo de'Liguoro
Subtyping Object and Recursive Types Logically. ICTCS (2005)
Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne
The Language chi: Circuits, Computations and Classical Logic. ICTCS (2005)
Steffen van Bakel
Intersection and Union Types for chi. Electron. Notes Theor. Comput. Sci. 136 (2005)
Steffen van Bakel, Jayshan Raghunandan
Implementing X. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
Intersection types for explicit substitutions. Inf. Comput. 189 (1) (2004)
Steffen van Bakel
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. Notre Dame J. Formal Log. 45 (1) (2004)
Steffen van Bakel, Ugo de'Liguoro
Logical Semantics for the First Order varsigma-Calculus. ICTCS (2003)
Steffen van Bakel, Maribel Fernández
Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290 (1) (2003)
Steffen van Bakel, Mariangiola Dezani-Ciancaglini
Characterising Strong Normalisation for Explicit Substitutions. LATIN (2002)
Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Intersection types for lambda-trees. Theor. Comput. Sci. 272 (1-2) (2002)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS (2002)
Steffen van Bakel
Strongly Normalising Cut-Elimination with Strict Intersection Types. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Steffen van Bakel
Preface. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Steffen van Bakel
Rank 2 Types for Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 75 (2002)
Steffen van Bakel, Franco Barbanera, Maribel Fernández
-Rule. TYPES (1999)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. 86 (3) (1997)
Steffen van Bakel, Maribel Fernández
Normalization Results for Typeable Rewrite Systems. Inf. Comput. 133 (2) (1997)
Steffen van Bakel
Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundam. Informaticae 26 (2) (1996)
Steffen van Bakel, Franco Barbanera, Maribel Fernández
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP (1996)
Steffen van Bakel, Maribel Fernández
Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF (1995)
Steffen van Bakel, Maribel Fernández
Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA (1995)
Steffen van Bakel
Intersection Type Assignment Systems. Theor. Comput. Sci. 151 (2) (1995)
Steffen van Bakel, Maribel Fernández
(Head-) Normalization of Typeable Rewrite Systems. RTA (1995)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes. LFCS (1994)
Steffen van Bakel, Maribel Fernández
Strong Normalization of Typeable Rewrite Systems. HOA (1993)
Steffen van Bakel
Essential Intersection Type Assignment. FSTTCS (1993)
Steffen van Bakel
Partial Intersection Type Assignment in Applicative Term Rewriting Systems. TLCA (1993)
Steffen van Bakel
Principal Type Schemes for the Strict Type Assignment System. J. Log. Comput. 3 (6) (1993)
Steffen van Bakel, Sjaak Smetsers, Simon Brock
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP (1992)
Steffen van Bakel
Complete Restrictions of the Intersection Type Discipline. Theor. Comput. Sci. 102 (1) (1992)