Computing Publications

Publications Home » Authors » Dr Steffen van Bakel

Authors

Dr Steffen van Bakel

29 publications for this author.

Journal Articles

Logical equivalence for subtyping and recursive types [PDF]
Steffen van Bakel, Ugo de'Liguoro
Theory of Computing Systems
2006
Intersection types for explicit substitutions [PDF]
Lengrand, Pierre Lescanne, Dan Dougherty, Dezani Dezani-Ciancaglini, Steffen van Bakel
Information and Computation
Volume 189, Issue 1, pp.17–42
Elsevier
2004
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising [PDF]
Steffen van Bakel
Notre Dame Journal of Formal Logic
Volume 45
2004
Normalization, Approximation, and Semantics for Combinator Systems [PDF] [GZipped Postscript]
Steffen van Bakel, Maribel
Theoretical Computer Science
Volume 290, pp.975–1019
Elsevier
January, 2003
Intersection Types for lambda-Trees [PDF]
Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Theoretical Computer Science
Volume 272, Issues 1–2, pp.3–40
Elsevier
February, 2002
Comparing Cubes of Typed and Type Assignment Systems [PDF]
Steffen van Bakel, Luigi Liquori, Simona Ronchi delle Rocca, Pawel Urzyczyn
Annals of Pure and Applied Logic
Volume 86, Issue 3, pp.267–303
Elsevier
July, 1997
Normalization Results for Typeable Rewrite Systems [PDF]
Steffen van Bakel, Maribel
Information and Computation
Volume 133, Issue 2, pp.73–116
Elsevier
March, 1997
Rank 2 Intersection Type Assignment in Term Rewriting Systems [PDF]
Steffen van Bakel
Fundamenta Informaticae
Volume 26, Issue 2, pp.141–166
1996
Intersection Type Assignment Systems
Steffen van Bakel
Theoretical Computer Science
Volume 151, Issue 2, pp.385–435
Elsevier
November, 1995
Intersection Type Assignment Systems
Steffen van Bakel
Theoretical Computer Science
Volume 151, Issue 2, pp.385–435
Elsevier
November, 1995
Principal type schemes for the Strict Type Assignment System [PDF]
Steffen van Bakel
Journal of Logic and Computation
Volume 3, Issue 6, pp.643–670
Oxford University Press
December, 1993
Complete restrictions of the Intersection Type Discipline [PDF]
Steffen van Bakel
Theoretical Computer Science
Volume 102, Issue 1, pp.135–163
Elsevier
August, 1992

Conference and Workshop Papers

A Logical Interpretation of the Lambda-Calculus into the Pi-Calculus, Preserving Spine Reduction and Types [PDF]
Steffen van Bakel, Maria Vigliotti
0th International Conference on Concurrency Theory ( CONCUR'09)
Volume 5710
Lecture Notes in Computer Science, Elsevier
2009
From X to Pi: Representing Classical Sequent Calculus in Pi-calculus [PDF]
Luca Cardelli, Steffen van Bakel, Maria Vigliotti
International Workshop on Classical Logic and Computation (CL&C'08)
2009
Modelling intracellular fate of FGF receptors with BioAmbients [PDF]
John Heath, Ikra Khan, Steffen van Bakel, Maria Vigliotti
nternational Workshop on Quantitative Aspects of Programming Languages (QAPL'08)
Volume 220, pp.181–187
Electronic Notes in Theoretical Computer Science, Elsevier
2008
Note on a simple type system for non-interference. [PDF]
Steffen van Bakel, Maria Vigliotti
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
2007
Explicit Alpha Conversion and Garbage Collection for X [PDF]
Steffen van Bakel, Jayshan Raghunandan
International Workshop on Term Graph Rewriting (TermGraph'06), Vienna, Austria
April, 2006
Approaches to Polymorphism in Classical Sequent Calculus [PDF]
Alexander Summers, Steffen van Bakel
ESOP 2006
Springer Verlag
March, 2006
Subtyping object and recursive types logically [PDF]
Steffen van Bakel, Ugo de'Liguoro
9th Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy
Volume 3701, pp.66–80
Lecture Notes in Computer Science, Springer
October, 2005
The language X: circuits, computations and classical logic [PDF]
Steffen van Bakel, Lengrand, Pierre Lescanne
9th Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy
Volume 3701, pp.81–96
Lecture Notes in Computer Science, Springer
October, 2005
Implementing X [PDF]
Steffen van Bakel, Jayshan Raghunandan
2nd International Workshop on Term Graph Rewriting (TermGraph'04), Rome, Italy
Volume 127, Issues 5–171, p.195
Electronic Notes in Theoretical Computer Science, Elsevier
October, 2004
Intersection and Union Types for X [PDF]
Steffen van Bakel
3nd International Workshop on Intersection Types and Related Systems (ITRS'04), Turku, Finland
Volume 136, pp.203–227
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2004
Logical Semantics for the First Order Sigma Calculus [PDF]
Ugo de'Liguoro, Steffen van Bakel
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003
Volume 2841, pp.202–215
Lecture Notes in Computer Science, Springer
October, 2003
Boundary Inference for Enforcing Security Policies.
Claudia Braghin, Antonio Cortesi, Riccardo Focardi, Steffen van Bakel
ICTCS'02
July, 2002
Boundary Inference for Enforcing Security Policies in Mobile Ambients
Steffen van Bakel
ICTCS'02
July, 2002
Rank 2 Type Assignment for Applicative Term Graph Rewriting [PDF]
Steffen van Bakel
Workshop on Types in Programming (TIP'02), Dagstuhl, Germany
Volume 75, pp.1–20
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2002
Strongly Normalising Cut-Elimination with Strict Intersection Types [PDF]
Steffen van Bakel
2nd International Workshop on Intersection Types and Related Systems (ITRS'02), Copenhagen, Denmark
Volume 70, Issue 1, pp.1–18
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2002
Characterising Strong Normalisation for Explicit Substitutions. [PDF]
Mariangiola Dezani-Ciancaglini, Steffen van Bakel
LATIN'02
Volume 2286, pp.356–370
March, 2002

Poster

Intracellular Fate of FGFRs with BioAmbients [PDF]
Maria Vigliotti, Steffen van Bakel, John Heath
Spatial 2009 - Overcoming Distance in Signaling Networks.
2009

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.