Steffen van Bakel
Steffen van Bakel
Verified email at doc.ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Complete restrictions of the intersection type discipline
S van Bakel
Theoretical Computer Science 102 (1), 135-163, 1992
2121992
Intersection type assignment systems
S van Bakel
Theoretical Computer Science 151 (2), 385-435, 1995
1321995
Intersection type disciplines in lambda calculus and applicative term rewriting systems
SJ van Bakel
Mathematisch Centrum, 1993
871993
Intersection types for explicit substitutions
S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, ...
Information and Computation 189 (1), 17-42, 2004
672004
The Language : Circuits, Computations and Classical Logic
S van Bakel, S Lengrand, P Lescanne
Theoretical Computer Science, 81-96, 2005
602005
Principal type schemes for the strict type assignment system
S van Bakel
Journal of Logic and Computation 3 (6), 643-670, 1993
471993
Normalization results for typeable rewrite systems
S van Bakel, M Fernández
Information and Computation 133 (2), 73-116, 1997
431997
Strict intersection types for the lambda calculus
SV Bakel
ACM Computing Surveys (CSUR) 43 (3), 1-49, 2011
402011
Computation with classical sequents
S van Bakel, P Lescanne
Mathematical Structures in Computer Science 18 (3), 555-609, 2008
352008
Comparing cubes of typed and type assignment systems
S van Bakel, L Liquori, S Ronchi Della Rocca, P Urzyczyn
Annals of Pure and Applied Logic 86 (3), 267-303, 1997
301997
Cut-Elimination in the strict intersection type assignment system is strongly normalizing
S van Bakel
Notre Dame journal of Formal Logic 45 (1), 35-63, 2004
262004
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
S Van Bakel, L Cardelli, MG Vigliotti
arXiv preprint arXiv:1109.4817, 2011
242011
Rank 2 intersection type assignment in term rewriting systems
S van Bakel
Fundamenta Informaticae 26 (2), 141-166, 1996
231996
Completeness and partial soundness results for intersection and union typing for ¯ ̃
S Van Bakel
Annals of Pure and Applied Logic 161 (11), 1400-1430, 2010
222010
Normalization, approximation, and semantics for combinator systems
S van Bakel, M Fernández
Theoretical Computer Science 290 (1), 975-1019, 2003
212003
A logical interpretation of the -calculus into the -calculus, preserving spine reduction and types
S van Bakel, MG Vigliotti
International Conference on Concurrency Theory, 84-98, 2009
202009
A Filter Model for the -Calculus
S Van Bakel, F Barbanera, U deLiguoro
International Conference on Typed Lambda Calculi and Applications, 213-228, 2011
182011
Sound and complete typing for lambda-mu
S Van Bakel
arXiv preprint arXiv:1101.4425, 2011
182011
Strong normalization of typeable rewrite systems
S van Bakel, M Fernández
Higher-Order Algebra, Logic, and Term Rewriting, 20-39, 1994
181994
Logical equivalence for subtyping object and recursive types
S van Bakel, U deLiguoro
Theory of Computing Systems 42 (3), 306-348, 2008
172008
The system can't perform the operation now. Try again later.
Articles 1–20