Steffen van Bakel Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 164(6): 589-590 (2013)
2012
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Completeness and Soundness Results for with Intersection and Union Types. Fundam. Inform. 121(1-4): 1-41 (2012)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maria Grazia Vigliotti: An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS 2012: 372-387
2011
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Strict intersection types for the Lambda Calculus. ACM Comput. Surv. 43(3): 20 (2011)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro: A Filter Model for the λμ-Calculus - (Extended Abstract). TLCA 2011: 213-228
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Reuben N. S. Rowe, Steffen van Bakel: Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA 2011: 229-244
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Reduction in X does not agree with Intersection and Union Types (Extended abstract). CoRR abs/1109.4570 (2011)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Reuben N. S. Rowe: Semantic Predicate Types and Approximation for Class-based Object Oriented Programming. CoRR abs/1109.4618 (2011)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti: From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. CoRR abs/1109.4817 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maria Grazia Vigliotti: Note on a simple type system for non-interference. CoRR abs/1109.4843 (2011)
2010
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 161(11): 1313-1314 (2010)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Completeness and partial soundness results for intersection and union typing for lambda_µµ_. Ann. Pure Appl. Logic 161(11): 1400-1430 (2010)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Sound and Complete Typing for lambda-mu. ITRS 2010: 31-44
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.): Proceedings Third International Workshop on Classical Logic and Computation. EPTCS 47, 2010
2009
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maria Grazia Vigliotti: A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR 2009: 84-98
2008
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Stefano Berardi: Preface. Ann. Pure Appl. Logic 153(1-3): 1-2 (2008)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Pierre Lescanne: Computation with classical sequents. Mathematical Structures in Computer Science 18(3): 555-609 (2008)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Ugo de'Liguoro: Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: The heart of intersection type assignment: Normalisation proofs revisited. Theor. Comput. Sci. 398(1-3): 82-94 (2008)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Subject Reduction vs Intersection. BCS Int. Acad. Conf. 2008: 249-258
2006
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander J. Summers, Steffen van Bakel: Approaches to Polymorphism in Classical Sequent Calculus. ESOP 2006: 84-99
2005
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Jayshan Raghunandan: Implementing X. Electr. Notes Theor. Comput. Sci. 127(5): 171-195 (2005)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Intersection and Union Types for chi. Electr. Notes Theor. Comput. Sci. 136: 203-227 (2005)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Ugo de'Liguoro: Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne: The Language chi: Circuits, Computations and Classical Logic. ICTCS 2005: 81-96
2004
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. Notre Dame Journal of Formal Logic 45(1): 35-63 (2004)
2003
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maribel Fernández: Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290(1): 975-1019 (2003)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Ugo de'Liguoro: Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215
2002
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Strongly Normalising Cut-Elimination with Strict Intersection Types. Electr. Notes Theor. Comput. Sci. 70(1): 19-36 (2002)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Preface. Electr. Notes Theor. Comput. Sci. 70(1): 182-183 (2002)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Rank 2 Types for Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 75: 1-20 (2002)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Mariangiola Dezani-Ciancaglini: Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370
1999
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maribel Fernández: Normalization Results for Typeable Rewrite Systems. Inf. Comput. 133(2): 73-116 (1997)
1996
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundam. Inform. 26(2): 141-166 (1996)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Franco Barbanera, Maribel Fernández: Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403
1995
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Intersection Type Assignment Systems. Theor. Comput. Sci. 151(2): 385-435 (1995)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maribel Fernández: Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maribel Fernández: (Head-) Normalization of Typeable Rewrite Systems. RTA 1995: 279-293
1994
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes. LFCS 1994: 353-365
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Principal Type Schemes for the Strict Type Assignment System. J. Log. Comput. 3(6): 643-670 (1993)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Essential Intersection Type Assignment. FSTTCS 1993: 13-23
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Maribel Fernández: Strong Normalization of Typeable Rewrite Systems. HOA 1993: 20-39
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Partial Intersection Type Assignment in Applicative Term Rewriting Systems. TLCA 1993: 29-44
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel: Complete Restrictions of the Intersection Type Discipline. Theor. Comput. Sci. 102(1): 135-163 (1992)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen van Bakel, Sjaak Smetsers, Simon Brock: Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP 1992: 300-321

Coauthor Index

1Franco Barbanera
[c20] [j7] [c9] [c8]
2Stefano Berardi
[j25] [j22] [e1] [j20]
3Ulrich Berger
[j25] [j22] [e1]
4Chiara Braghin
[c11]
5Simon Brock
[c1]
6Luca Cardelli
[i2]
7Agostino Cortesi
[c11]
8Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)
[j13] [j7] [c10]
9Daniel J. Dougherty
[j13]
10Maribel Fernández
[j11] [c9] [j5] [c8] [c7] [c6] [c3]
11Riccardo Focardi
[c11]
12John K. Heath
[j19]
13Ikra Khan
[j19]
14Stéphane Lengrand
[c13] [j13]
15Pierre Lescanne
[j18] [c13] [j13]
16Luigi Liquori
[j6] [c5]
17Jayshan Raghunandan
[j15]
18Simona Ronchi Della Rocca
[j6] [c5]
19Reuben N. S. Rowe
[c19] [i3]
20Sjaak Smetsers (J. E. W. Smetsers)
[c1]
21Alexander J. Summers
[c15]
22Pawel Urzyczyn
[j6] [c5]
23Maria Grazia Vigliotti
[c21] [i2] [i1] [c17] [j19]
24Fer-Jan de Vries
[j7]
25Ugo de'Liguoro
[c20] [j17] [c14] [c12]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 20:35:50 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page