×

zbMATH — the first resource for mathematics

van Bakel, Steffen

Compute Distance To:
Author ID: van-bakel.steffen Recent zbMATH articles by "van Bakel, Steffen"
Published as: Bakel, Steffen Van; Van Bakel, Steffen; van Bakel, S.; van Bakel, Steffen
External Links: MGP · ORCID
Documents Indexed: 45 Publications since 1992, including 5 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 163 times in 77 Documents Cited by Year
Complete restrictions of the intersection type discipline. Zbl 0762.03006
van Bakel, Steffen
37
1992
Intersection type assignment systems. Zbl 0871.68031
van Bakel, Steffen
17
1995
Normalization results for typeable rewrite systems. Zbl 0877.68072
van Bakel, Steffen; Fernández, Maribel
11
1997
Principal type schemes for the strict type assignment system. Zbl 0802.68024
van Bakel, Steffen
9
1993
Partial intersection type assignment in applicative term rewriting systems. Zbl 0797.68091
van Bakel, Steffen
9
1993
Cut-elimination in the strict intersection type assignment system is strongly normalizing. Zbl 1095.03058
van Bakel, Steffen
6
2004
Strict intersection types for the lambda calculus. Zbl 1293.68073
Bakel, Steffen Van
5
2011
Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\). Zbl 1225.03015
van Bakel, Steffen
5
2010
Intersection types for explicit substitutions. Zbl 1082.68014
Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen
5
2004
Normalization, approximation, and semantics for combinator systems. Zbl 1019.68059
van Bakel, Steffen; Fernández, Maribel
5
2003
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
5
2002
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
The language \(\mathcal X\): Circuits, computations and classical logic. Zbl 1171.68411
van Bakel, Steffen; Lengrand, Stéphane; Lescanne, Pierre
4
2005
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
3
2017
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Computation with classical sequents. Zbl 1173.03011
van Bakel, Steffen; Lescanne, Pierre
3
2008
Logical equivalence for subtyping object and recursive types. Zbl 1136.68018
van Bakel, Steffen; de’Liguoro, Ugo
3
2008
Characterising strong normalisation for explicit substitutions. Zbl 1059.68020
van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola
3
2002
Approximation and normalization results for typeable term rewriting systems. Zbl 1407.68243
van Bakel, Steffen; Fernández, Maribel
3
1996
Rank 2 intersection type assignment in term rewriting systems. Zbl 0846.68052
van Bakel, Steffen
3
1996
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
Completeness and soundness results for \(\mathcal X\) with intersection and union types. Zbl 1283.03034
van Bakel, Steffen
2
2012
Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract). Zbl 1331.68046
Rowe, Reuben; Van Bakel, Steffen
2
2011
A logical interpretation of the \(\lambda \)-calculus into the \(\pi \)-calculus, preserving spine reduction and types. Zbl 1254.03021
van Bakel, Steffen; Vigliotti, Maria Grazia
2
2009
Approaches to polymorphism in classical sequent calculus. Zbl 1178.03040
Summers, Alexander J.; van Bakel, Steffen
2
2006
Essential intersection type assignment. Zbl 0924.03027
van Bakel, Steffen
2
1993
The heart of intersection type assignment: Normalisation proofs revisited. Zbl 1145.68014
van Bakel, Steffen
1
2008
Implementing \(\mathcal{X}\). Zbl 1272.68204
van Bakel, Steffen; Raghunandan, Jayshan
1
2005
Subtyping object and recursive types logically. (Extended abstract). Zbl 1171.68418
van Bakel, Steffen; de’Liguoro, Ugo
1
2005
Strongly normalising cut-elimination with strict intersection types. Zbl 1270.03034
van Bakel, Steffen
1
2003
Logical semantics for the first order \(\varrho \)-calculus. Zbl 1257.68052
van Bakel, Steffen; de’Liguoro, Ugo
1
2003
Polymorphic intersection type assignment for rewrite systems with abstraction and \(\beta\)-rule. Zbl 0988.68092
van Bakel, Steffen; Barbanera, Franco; Fernández, Maribel
1
2000
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
3
2017
Completeness and soundness results for \(\mathcal X\) with intersection and union types. Zbl 1283.03034
van Bakel, Steffen
2
2012
Strict intersection types for the lambda calculus. Zbl 1293.68073
Bakel, Steffen Van
5
2011
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract). Zbl 1331.68046
Rowe, Reuben; Van Bakel, Steffen
2
2011
Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\). Zbl 1225.03015
van Bakel, Steffen
5
2010
A logical interpretation of the \(\lambda \)-calculus into the \(\pi \)-calculus, preserving spine reduction and types. Zbl 1254.03021
van Bakel, Steffen; Vigliotti, Maria Grazia
2
2009
Computation with classical sequents. Zbl 1173.03011
van Bakel, Steffen; Lescanne, Pierre
3
2008
Logical equivalence for subtyping object and recursive types. Zbl 1136.68018
van Bakel, Steffen; de’Liguoro, Ugo
3
2008
The heart of intersection type assignment: Normalisation proofs revisited. Zbl 1145.68014
van Bakel, Steffen
1
2008
Approaches to polymorphism in classical sequent calculus. Zbl 1178.03040
Summers, Alexander J.; van Bakel, Steffen
2
2006
The language \(\mathcal X\): Circuits, computations and classical logic. Zbl 1171.68411
van Bakel, Steffen; Lengrand, Stéphane; Lescanne, Pierre
4
2005
Implementing \(\mathcal{X}\). Zbl 1272.68204
van Bakel, Steffen; Raghunandan, Jayshan
1
2005
Subtyping object and recursive types logically. (Extended abstract). Zbl 1171.68418
van Bakel, Steffen; de’Liguoro, Ugo
1
2005
Cut-elimination in the strict intersection type assignment system is strongly normalizing. Zbl 1095.03058
van Bakel, Steffen
6
2004
Intersection types for explicit substitutions. Zbl 1082.68014
Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen
5
2004
Normalization, approximation, and semantics for combinator systems. Zbl 1019.68059
van Bakel, Steffen; Fernández, Maribel
5
2003
Strongly normalising cut-elimination with strict intersection types. Zbl 1270.03034
van Bakel, Steffen
1
2003
Logical semantics for the first order \(\varrho \)-calculus. Zbl 1257.68052
van Bakel, Steffen; de’Liguoro, Ugo
1
2003
Intersection types for \(\lambda\)-trees. Zbl 0984.68033
van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan
5
2002
Characterising strong normalisation for explicit substitutions. Zbl 1059.68020
van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola
3
2002
Polymorphic intersection type assignment for rewrite systems with abstraction and \(\beta\)-rule. Zbl 0988.68092
van Bakel, Steffen; Barbanera, Franco; Fernández, Maribel
1
2000
Normalization results for typeable rewrite systems. Zbl 0877.68072
van Bakel, Steffen; Fernández, Maribel
11
1997
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
Approximation and normalization results for typeable term rewriting systems. Zbl 1407.68243
van Bakel, Steffen; Fernández, Maribel
3
1996
Rank 2 intersection type assignment in term rewriting systems. Zbl 0846.68052
van Bakel, Steffen
3
1996
Intersection type assignment systems. Zbl 0871.68031
van Bakel, Steffen
17
1995
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
Principal type schemes for the strict type assignment system. Zbl 0802.68024
van Bakel, Steffen
9
1993
Partial intersection type assignment in applicative term rewriting systems. Zbl 0797.68091
van Bakel, Steffen
9
1993
Essential intersection type assignment. Zbl 0924.03027
van Bakel, Steffen
2
1993
Complete restrictions of the intersection type discipline. Zbl 0762.03006
van Bakel, Steffen
37
1992
all top 5

Cited by 90 Authors

17 van Bakel, Steffen
9 Fernández, Maribel
8 Dezani-Ciancaglini, Mariangiola
7 Barbanera, Franco
7 de’Liguoro, Ugo
7 Kesner, Delia
4 Ghilezan, Silvia
4 Lescanne, Pierre
4 Ronchi Della Rocca, Simona
3 Rowe, Reuben N. S.
3 Lima Ventura, Daniel
2 Alessi, Fabio
2 Alves, Sandra
2 Berline, Chantal
2 Bucciarelli, Antonio
2 de Vries, Fer-Jan J.
2 Kamareddine, Fairouz D.
2 Lengrand, Stéphane Jean Eric
2 Likavec, Silvia
2 Liquori, Luigi
2 Urzyczyn, Paweł
2 van Bakel, Steffen J.
2 Vial, Pierre
2 Wells, Joe B.
1 Akroun, Lakhdar
1 Ayala-Rincón, Mauricio
1 Berardi, Stefano
1 Berarducci, Alessandro
1 Berger, Ulrich
1 Bertolissi, Clara
1 Bettini, Lorenzo
1 Bono, Viviana
1 Boudol, Gérard
1 Broda, Sabine
1 Bunder, Martin W.
1 Coppo, Mario
1 Damiani, Ferruccio
1 David, Rene
1 Dougherty, Dan
1 Dougherty, Daniel J.
1 Fairweather, Elliot
1 Florido, Mário
1 Gabbay, Murdoch James
1 Geuvers, Jan Herman
1 Giannini, Paola
1 Grue, Klaus E.
1 Hasegawa, Ryu
1 Herbelin, Hugo
1 Hindley, J. Roger
1 Hirokawa, Nao
1 Hirschkoff, Daniel
1 Honsell, Furio
1 Ilik, Danko
1 Ivetić, Jelena
1 Kfoury, Assaf J.
1 Kobayashi, Naoki
1 Kurata, Toshihiko
1 Lämmel, Ralf
1 Lee, Gyesik
1 López-Fraguas, Francisco Javier
1 Mackie, Ian
1 Madiot, Jean-Marie
1 Manzonetto, Giulio
1 Martin-Martin, Enrique
1 Matsuda, Kazutaka
1 Middeldorp, Aart
1 Miquel, Alexandre
1 Motohama, Yoko
1 Nour, Karim
1 Pagani, Michele
1 Piperno, Adolfo
1 Raghunandan, Jayshan
1 Rehof, Jakob
1 Rocha-Oliveira, Ana Cristina
1 Rodríguez-Hortalá, Juan
1 Roversi, Luca
1 Ruoppolo, Domenico
1 Salaün, Gwen
1 Sangiorgi, Davide
1 Seldin, Jonathan P.
1 Severi, Paula Gabriela
1 Shinohara, Ayumi
1 Summers, Alexander J.
1 Tasson, Christine
1 Tiuryn, Jerzy
1 Vaux, Lionel
1 Venneri, Betti
1 Vigliotti, Maria Grazia
1 Yaguchi, Kazuya
1 Zankl, Harald

Citations by Year