| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steffen van Bakel, Maria Grazia Vigliotti |
Note on a simple type system for non-interference  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel, Reuben N. S. Rowe |
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel |
Reduction in X does not agree with Intersection and Union Types (Extended abstract) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti |
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel |
Strict intersection types for the Lambda Calculus. |
ACM Comput. Surv. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro |
A Filter Model for the λμ-Calculus - (Extended Abstract). |
TLCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reuben N. S. Rowe, Steffen van Bakel |
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). |
TLCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Stefano Berardi, Ulrich Berger |
Preface. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Completeness and partial soundness results for intersection and union typing for lambda_µµ_. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Stefano Berardi, Ulrich Berger (eds.) |
Proceedings Third International Workshop on Classical Logic and Computation |
CL&C |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Sound and Complete Typing for lambda-mu |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maria Grazia Vigliotti |
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
The heart of intersection type assignment: Normalisation proofs revisited. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Pierre Lescanne |
Computation with classical sequents. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath |
Modelling Intracellular Fate of FGF Receptors With BioAmbients. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Stefano Berardi |
Preface. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Ugo de'Liguoro |
Logical Equivalence for Subtyping Object and Recursive Types. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Object calculi, Type theory, Program logic |
| 1 | Steffen van Bakel |
Subject Reduction vs Intersection. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander J. Summers, Steffen van Bakel |
Approaches to Polymorphism in Classical Sequent Calculus. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Jayshan Raghunandan |
Implementing X. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Intersection and Union Types for chi. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne |
The Language chi: Circuits, Computations and Classical Logic. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Ugo de'Liguoro |
Subtyping Object and Recursive Types Logically. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel |
Intersection types for explicit substitutions. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. |
Notre Dame Journal of Formal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Normalization, approximation, and semantics for combinator systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Ugo de'Liguoro |
Logical Semantics for the First Order varsigma-Calculus. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries |
Intersection types for lambda-trees. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Rank 2 Types for Term Graph Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Strongly Normalising Cut-Elimination with Strict Intersection Types. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Mariangiola Dezani-Ciancaglini |
Characterising Strong Normalisation for Explicit Substitutions. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel |
Boundary Inference for Enforcing Security Policies in Mobile Ambients. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel, Franco Barbanera, Maribel Fernández |
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. |
TYPES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Normalization Results for Typeable Rewrite Systems. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |
Comparing Cubes of Typed and Type Assignment Systems. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Rank 2 Intersection Type Assignment in Term Rewriting Systems. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Franco Barbanera, Maribel Fernández |
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Intersection Type Assignment Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
(Head-) Normalization of Typeable Rewrite Systems. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Approximation and Normalization Results for Typeable Term Rewriting Systems. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |
Comparing Cubes. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Principal Type Schemes for the Strict Type Assignment System. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Partial Intersection Type Assignment in Applicative Term Rewriting Systems. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Strong Normalization of Typeable Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Essential Intersection Type Assignment. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel |
Complete Restrictions of the Intersection Type Discipline. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Sjaak Smetsers, Simon Brock |
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")