Concepedia

Steffen van Bakel

SV

Statistics

Publications

12

Citations

447

H-Index

10

Active since

1992

Affiliations

Imperial College London(Current)

University of Turin

Radboud University Nijmegen

École Normale Supérieure - PSL

École Normale Supérieure de Lyon

Steffen van Bakel is an author at Imperial College London specializing in computing, type systems, and computer science.

ORCID

Publications per year

1992–2008

12

Publications

12

Complete restrictions of the intersection type discipline

Steffen van Bakel · Theoretical Computer Science · 1992 · 142 citations

, , +8

Intersection type assignment systems

Steffen van Bakel · Theoretical Computer Science · 1995 · 99 citations

, , +3

Intersection types for explicit substitutions

Stéphane Lengrand, Pierre Lescanne, Dan Dougherty et al. · Information and Computation · 2003 · 36 citations

, , +9

Principal Type Schemes for the Strict Type Assignment System

Steffen van Bakel · Journal of Logic and Computation · 1993 · 30 citations

, , +10

Normalization Results for Typeable Rewrite Systems

Steffen van Bakel, Maribel Fernández · Information and Computation · 1997 · 30 citations

, , +10

1–5 of 12