Steffen van Bakel

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)

Coauthor Index

1	Franco Barbanera	[12] [15] [16]
2	Stefano Berardi	[33]
3	Chiara Braghin	[20]
4	Simon Brock	[2]
5	Agostino Cortesi	[20]
6	Mariangiola Dezani-Ciancaglini	[16] [19] [23]
7	Daniel J. Dougherty	[23]
8	Maribel Fernández	[5] [9] [10] [12] [13] [15] [21]
9	Riccardo Focardi	[20]
10	John K. Heath	[32]
11	Ikra Khan	[32]
12	Stéphane Lengrand	[23] [26]
13	Pierre Lescanne	[23] [26] [31]
14	Luigi Liquori	[7] [14]
15	Jayshan Raghunandan	[25]
16	Simona Ronchi Della Rocca	[7] [14]
17	Sjaak Smetsers (J. E. W. Smetsers)	[2]
18	Alexander J. Summers	[28]
19	Pawel Urzyczyn	[7] [14]
20	Maria Grazia Vigliotti	[32]
21	Fer-Jan de Vries	[16]
22	Ugo de'Liguoro	[22] [27] [29]

Colors in the list of coauthors