Steffen van Bakel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1994–2023
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PPDP | A Calculus of Delayed Reductions. | Steffen van Bakel, Nicolas Wu, Emma Tye |
| 2019 | PPDP | Exception Handling and Classical Logic. | Steffen van Bakel |
| 2009 | CONCUR | A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. | Steffen van Bakel, Maria Grazia Vigliotti |
| 2009 | ECOOP | Semantic predicate types and approximation for class-based object oriented programming. | Steffen van Bakel, Reuben N. S. Rowe |
| 2006 | ESOP | Approaches to Polymorphism in Classical Sequent Calculus. | Alexander J. Summers, Steffen van Bakel |
| 2002 | LATIN | Characterising Strong Normalisation for Explicit Substitutions. | Steffen van Bakel, Mariangiola Dezani-Ciancaglini |
| 1996 | ESOP | Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. | Steffen van Bakel, Franco Barbanera, Maribel Fernndez |
| 1994 | LFCS | Comparing Cubes. | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |