The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steffen van Bakel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  29. A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. [Citation Graph (, )][DBLP]


  30. Subject Reduction vs Intersection. [Citation Graph (, )][DBLP]


  31. Preface. [Citation Graph (, )][DBLP]


  32. Modelling Intracellular Fate of FGF Receptors With BioAmbients. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002