2008 |
33 | EE | Steffen van Bakel,
Stefano Berardi:
Preface.
Ann. Pure Appl. Logic 153(1-3): 1-2 (2008) |
32 | EE | Steffen van Bakel,
Ikra Khan,
Maria Grazia Vigliotti,
John K. Heath:
Modelling Intracellular Fate of FGF Receptors With BioAmbients.
Electr. Notes Theor. Comput. Sci. 220(3): 181-197 (2008) |
31 | EE | Steffen van Bakel,
Pierre Lescanne:
Computation with classical sequents.
Mathematical Structures in Computer Science 18(3): 555-609 (2008) |
30 | EE | Steffen van Bakel:
The heart of intersection type assignment: Normalisation proofs revisited.
Theor. Comput. Sci. 398(1-3): 82-94 (2008) |
29 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Logical Equivalence for Subtyping Object and Recursive Types.
Theory Comput. Syst. 42(3): 306-348 (2008) |
2006 |
28 | EE | Alexander J. Summers,
Steffen van Bakel:
Approaches to Polymorphism in Classical Sequent Calculus.
ESOP 2006: 84-99 |
2005 |
27 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Subtyping Object and Recursive Types Logically.
ICTCS 2005: 66-80 |
26 | EE | Steffen van Bakel,
Stéphane Lengrand,
Pierre Lescanne:
The Language chi: Circuits, Computations and Classical Logic.
ICTCS 2005: 81-96 |
25 | EE | Steffen van Bakel,
Jayshan Raghunandan:
Implementing X.
Electr. Notes Theor. Comput. Sci. 127(5): 171-195 (2005) |
24 | EE | Steffen van Bakel:
Intersection and Union Types for chi.
Electr. Notes Theor. Comput. Sci. 136: 203-227 (2005) |
2004 |
23 | EE | Stéphane Lengrand,
Pierre Lescanne,
Daniel J. Dougherty,
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel:
Intersection types for explicit substitutions.
Inf. Comput. 189(1): 17-42 (2004) |
2003 |
22 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus.
ICTCS 2003: 202-215 |
21 | | Steffen van Bakel,
Maribel Fernández:
Normalization, approximation, and semantics for combinator systems.
Theor. Comput. Sci. 290(1): 975-1019 (2003) |
2002 |
20 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
IFIP TCS 2002: 383-395 |
19 | EE | Steffen van Bakel,
Mariangiola Dezani-Ciancaglini:
Characterising Strong Normalisation for Explicit Substitutions.
LATIN 2002: 356-370 |
18 | EE | Steffen van Bakel:
Strongly Normalising Cut-Elimination with Strict Intersection Types.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
17 | EE | Steffen van Bakel:
Rank 2 Types for Term Graph Rewriting.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
16 | EE | Steffen van Bakel,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Fer-Jan de Vries:
Intersection types for lambda-trees.
Theor. Comput. Sci. 272(1-2): 3-40 (2002) |
1999 |
15 | EE | Steffen van Bakel,
Franco Barbanera,
Maribel Fernández:
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule.
TYPES 1999: 41-60 |
1997 |
14 | | Steffen van Bakel,
Luigi Liquori,
Simona Ronchi Della Rocca,
Pawel Urzyczyn:
Comparing Cubes of Typed and Type Assignment Systems.
Ann. Pure Appl. Logic 86(3): 267-303 (1997) |
13 | | Steffen van Bakel,
Maribel Fernández:
Normalization Results for Typeable Rewrite Systems.
Inf. Comput. 133(2): 73-116 (1997) |
1996 |
12 | | Steffen van Bakel,
Franco Barbanera,
Maribel Fernández:
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.
ESOP 1996: 387-403 |
11 | | Steffen van Bakel:
Rank 2 Intersection Type Assignment in Term Rewriting Systems.
Fundam. Inform. 26(2): 141-166 (1996) |
1995 |
10 | | Steffen van Bakel,
Maribel Fernández:
Approximation and Normalization Results for Typeable Term Rewriting Systems.
HOA 1995: 17-36 |
9 | | Steffen van Bakel,
Maribel Fernández:
(Head-) Normalization of Typeable Rewrite Systems.
RTA 1995: 279-293 |
8 | EE | Steffen van Bakel:
Intersection Type Assignment Systems.
Theor. Comput. Sci. 151(2): 385-435 (1995) |
1994 |
7 | | Steffen van Bakel,
Luigi Liquori,
Simona Ronchi Della Rocca,
Pawel Urzyczyn:
Comparing Cubes.
LFCS 1994: 353-365 |
1993 |
6 | | Steffen van Bakel:
Essential Intersection Type Assignment.
FSTTCS 1993: 13-23 |
5 | | Steffen van Bakel,
Maribel Fernández:
Strong Normalization of Typeable Rewrite Systems.
HOA 1993: 20-39 |
4 | | Steffen van Bakel:
Partial Intersection Type Assignment in Applicative Term Rewriting Systems.
TLCA 1993: 29-44 |
3 | | Steffen van Bakel:
Principal Type Schemes for the Strict Type Assignment System.
J. Log. Comput. 3(6): 643-670 (1993) |
1992 |
2 | | Steffen van Bakel,
Sjaak Smetsers,
Simon Brock:
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.
CAAP 1992: 300-321 |
1 | | Steffen van Bakel:
Complete Restrictions of the Intersection Type Discipline.
Theor. Comput. Sci. 102(1): 135-163 (1992) |