Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Coauthors
(29)
Maribel Fernandez (Maribel Fernández)
14
Mariangiola Dezaniciancaglini
8
Franco Barbanera
8
Maria Grazia Vigliotti
7
Ugo de’Liguoro
6
Conferences
(12)
ICTCS
3
Types for Proofs and Programs
2
ESOP
2
HOA
2
LATIN
1
Journals
(12)
TCS
7
ENTCS
7
APAL
4
IANDC
3
NDJFL
2
Keywords
(50)
Embed
Subscribe
Academic
Authors
Steffen Van Bakel
Steffen Van Bakel,Imperial College London,Algorithms & Theory,Programming Languages,Mathematics
Edit
Steffen Van Bakel
Imperial College London
Publications:
86

Citations:
523
Fields:
Algorithms & Theory
,
Programming Languages
,
Mathematics
View FAQ about top research areas and Fields of study
Collaborated with
29 coauthors
from 1992 to 2011

Cited by
184 authors
Cumulative
Annual
Sort by:
Publications
(86)
BibTeX

RIS

RefWorks
Download
Strict intersection types for the Lambda Calculus
(
Citations: 1
)
Steffen Van Bakel
Journal:
ACM Computing Surveys  CSUR
, vol. 43, no. 3, pp. 149, 2011
From X to Pi; Representing the Classical Sequent Calculus in the Picalculus
Steffen van Bakel
,
Luca Cardelli
,
Maria Grazia Vigliotti
Published in 2011.
Proceedings Third International Workshop on Classical Logic and Computation
Steffen van Bakel
,
Stefano Berardi
,
Ulrich Berger
Journal:
Electronic Proceedings in Theoretical Computer Science
, 2011
Semantic Predicate Types and Approximation for Classbased Object Oriented Programming
Steffen van Bakel
,
Reuben N. S. Rowe
Published in 2011.
Note on a simple type system for noninterference
Steffen van Bakel
,
Maria Grazia Vigliotti
Published in 2011.
Sort by:
Citations
(523 times by 263 publications)
Strict intersection types for the Lambda Calculus
(
Citations: 1
)
Steffen Van Bakel
Journal:
ACM Computing Surveys  CSUR
, vol. 43, no. 3, pp. 149, 2011
Complexity of Strongly Normalising
Alexis Bernadet
,
Stéphane Lengrand
Conference:
Foundations of Software Science and Computation Structure  FoSSaCS
, pp. 88107, 2011
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
(
Citations: 1
)
Daniel Lima Ventura
,
Mauricio AyalaRincón
,
Fairouz Kamareddine
Journal:
Computing Research Repository  CORR
, vol. abs/1001.4, 2010
Completeness and partial soundness results for intersection and union typing for lambda_µµ
(
Citations: 1
)
Steffen van Bakel
Journal:
Annals of Pure and Applied Logic  APAL
, vol. 161, no. 11, pp. 14001430, 2010
Untyped Recursion Schemes and Infinite Intersection Types
(
Citations: 1
)
Takeshi Tsukada
,
Naoki Kobayashi
Conference:
Foundations of Software Science and Computation Structure  FoSSaCS
, pp. 343357, 2010
Comments