dblp.uni-trier.dewww.uni-trier.de

Steffen van Bakel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
33EESteffen van Bakel, Stefano Berardi: Preface. Ann. Pure Appl. Logic 153(1-3): 1-2 (2008)
32EESteffen 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)
31EESteffen van Bakel, Pierre Lescanne: Computation with classical sequents. Mathematical Structures in Computer Science 18(3): 555-609 (2008)
30EESteffen van Bakel: The heart of intersection type assignment: Normalisation proofs revisited. Theor. Comput. Sci. 398(1-3): 82-94 (2008)
29EESteffen van Bakel, Ugo de'Liguoro: Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008)
2006
28EEAlexander J. Summers, Steffen van Bakel: Approaches to Polymorphism in Classical Sequent Calculus. ESOP 2006: 84-99
2005
27EESteffen van Bakel, Ugo de'Liguoro: Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80
26EESteffen van Bakel, Stéphane Lengrand, Pierre Lescanne: The Language chi: Circuits, Computations and Classical Logic. ICTCS 2005: 81-96
25EESteffen van Bakel, Jayshan Raghunandan: Implementing X. Electr. Notes Theor. Comput. Sci. 127(5): 171-195 (2005)
24EESteffen van Bakel: Intersection and Union Types for chi. Electr. Notes Theor. Comput. Sci. 136: 203-227 (2005)
2004
23EESté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
22EESteffen 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
19EESteffen van Bakel, Mariangiola Dezani-Ciancaglini: Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370
18EESteffen van Bakel: Strongly Normalising Cut-Elimination with Strict Intersection Types. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
17EESteffen van Bakel: Rank 2 Types for Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 75: (2002)
16EESteffen 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
15EESteffen 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
8EESteffen 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)