The SCEAS System
| |||||||

## Search the dblp DataBase
Steffen van Bakel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - Alexander J. Summers, Steffen van Bakel
**Approaches to Polymorphism in Classical Sequent Calculus.**[Citation Graph (0, 0)][DBLP] ESOP, 2006, pp:84-99 [Conf] - Steffen van Bakel
**Essential Intersection Type Assignment.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1993, pp:13-23 [Conf] - Steffen van Bakel, Maribel Fernández
**Strong Normalization of Typeable Rewrite Systems.**[Citation Graph (0, 0)][DBLP] HOA, 1993, pp:20-39 [Conf] - 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] - 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] - 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] - Steffen van Bakel, Ugo de'Liguoro
**Subtyping Object and Recursive Types Logically.**[Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:66-80 [Conf] - 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] - Steffen van Bakel, Mariangiola Dezani-Ciancaglini
**Characterising Strong Normalisation for Explicit Substitutions.**[Citation Graph (0, 0)][DBLP] LATIN, 2002, pp:356-370 [Conf] - Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
**Comparing Cubes.**[Citation Graph (0, 0)][DBLP] LFCS, 1994, pp:353-365 [Conf] - Steffen van Bakel, Maribel Fernández
**(Head-) Normalization of Typeable Rewrite Systems.**[Citation Graph (0, 0)][DBLP] RTA, 1995, pp:279-293 [Conf] - Steffen van Bakel
**Partial Intersection Type Assignment in Applicative Term Rewriting Systems.**[Citation Graph (0, 0)][DBLP] TLCA, 1993, pp:29-44 [Conf] - Steffen van Bakel, Franco Barbanera, Maribel Fernández
**Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and**[Citation Graph (0, 0)][DBLP]*beta*-Rule. TYPES, 1999, pp:41-60 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Steffen van Bakel
**Intersection Type Assignment Systems.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:151, n:2, pp:385-435 [Journal] - 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] - 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] **A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.**[Citation Graph (, )][DBLP]**Subject Reduction vs Intersection.**[Citation Graph (, )][DBLP]**Preface.**[Citation Graph (, )][DBLP]**Modelling Intracellular Fate of FGF Receptors With BioAmbients.**[Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.009secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |