Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="van Bakel, Steffen"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Logical equivalence for subtyping object and recursive types
Steffen van Bakel
,
Ugo de'Liguoro
Theory of Computing Systems
42
(3), 2008, pp. 306-348
The heart of intersection type assignment: Normalisation proofs revisited
Steffen van Bakel
Theoretical Computer Science
398
(1-3), 2008, pp. 82-94
Intersection types for explicit substitutions
Stéphane Lengrand
,
Pierre Lescanne
,
Dan Dougherty
,
Mariangiola Dezani-Ciancaglini
,
Steffen van Bakel
Information and Computation
189
(1), 2004, pp. 17-42
Normalization, approximation, and semantics for combinator systems
Steffen van Bakel
,
Maribel Fernández
Theoretical Computer Science
290
(1), 2003, pp. 975-1019
Intersection types for
\lambda
-trees
Steffen van Bakel
,
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
,
Fer-Jan de Vries
Theoretical Computer Science
272
(1-2), 2002, pp. 3-40
Normalization results for typeable rewrite systems
Steffen van Bakel
,
Maribel Fernández
Information and Computation
133
(2), 1997, pp. 73-116
Intersection type assignment systems
Steffen van Bakel
Theoretical Computer Science
151
(2), 1995, pp. 385-435
Essential intersection type assignment
Steffen van Bakel
Lecture Notes in Computer Science
761
, 1993, pp. 13-23
Complete restrictions of the intersection type discipline
Steffen van Bakel
Theoretical Computer Science
102
, 1992, pp. 135-163