default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteffen van Bakel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j24]Steffen van Bakel:
Adding Negation to Lambda Mu. Log. Methods Comput. Sci. 19(2) (2023)- [c36]Steffen van Bakel
, Nicolas Wu, Emma Tye:
A Calculus of Delayed Reductions. PPDP 2023: 1:1-1:13 - 2021
- [i6]Steffen van Bakel:
Adding Negation to Lambda Mu. CoRR abs/2109.10447 (2021)
2010 – 2019
- 2019
- [c35]Steffen van Bakel:
Exception Handling and Classical Logic. PPDP 2019: 21:1-21:14 - 2018
- [j23]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. 14(1) (2018) - [j22]Steffen van Bakel:
Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. ACM Trans. Comput. Log. 19(1): 3:1-3:47 (2018) - 2017
- [j21]Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated session compliance. J. Log. Algebraic Methods Program. 86(1): 30-76 (2017) - [i5]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Intersection Types for the lambda-mu Calculus. CoRR abs/1704.00272 (2017) - 2016
- [c34]Steffen van Bakel:
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ITRS 2016: 20-30 - [e3]Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi:
Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. EPTCS 213, 2016 [contents] - 2015
- [c33]Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated Session Compliance. ICE 2015: 21-36 - 2014
- [j20]Reuben N. S. Rowe, Steffen van Bakel:
Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. 517: 34-74 (2014) - [c32]Steffen van Bakel, Maria Grazia Vigliotti:
A fully-abstract semantics of lambda-mu in the pi-calculus. CL&C 2014: 33-47 - 2013
- [j19]Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Preface. Ann. Pure Appl. Log. 164(6): 589-590 (2013) - [c31]Steffen van Bakel, Reuben N. S. Rowe:
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. The Beauty of Functional Code 2013: 27-46 - 2012
- [j18]Steffen van Bakel:
Completeness and Soundness Results for with Intersection and Union Types. Fundam. Informaticae 121(1-4): 1-41 (2012) - [c30]Steffen van Bakel, Maria Grazia Vigliotti:
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS 2012: 372-387 - [c29]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. ITRS 2012: 1-17 - 2011
- [j17]Steffen van Bakel:
Strict intersection types for the Lambda Calculus. ACM Comput. Surv. 43(3): 20:1-20:49 (2011) - [c28]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
A Filter Model for the λμ-Calculus - (Extended Abstract). TLCA 2011: 213-228 - [c27]Reuben N. S. Rowe, Steffen van Bakel:
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA 2011: 229-244 - [i4]Steffen van Bakel:
Reduction in X does not agree with Intersection and Union Types (Extended abstract). CoRR abs/1109.4570 (2011) - [i3]Steffen van Bakel, Reuben N. S. Rowe:
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming. CoRR abs/1109.4618 (2011) - [i2]Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti:
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. CoRR abs/1109.4817 (2011) - [i1]Steffen van Bakel, Maria Grazia Vigliotti:
Note on a simple type system for non-interference. CoRR abs/1109.4843 (2011) - 2010
- [j16]Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Preface. Ann. Pure Appl. Log. 161(11): 1313-1314 (2010) - [j15]Steffen van Bakel:
Completeness and partial soundness results for intersection and union typing for lambda_µµ_. Ann. Pure Appl. Log. 161(11): 1400-1430 (2010) - [c26]Steffen van Bakel:
Sound and Complete Typing for lambda-mu. ITRS 2010: 31-44 - [e2]Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. EPTCS 47, 2010 [contents]
2000 – 2009
- 2009
- [c25]Steffen van Bakel, Maria Grazia Vigliotti:
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR 2009: 84-98 - [c24]Steffen van Bakel, Reuben N. S. Rowe:
Semantic predicate types and approximation for class-based object oriented programming. FTfJP@ECOOP 2009: 3:1-3:7 - 2008
- [j14]Steffen van Bakel, Stefano Berardi:
Preface. Ann. Pure Appl. Log. 153(1-3): 1-2 (2008) - [j13]Steffen van Bakel, Pierre Lescanne:
Computation with classical sequents. Math. Struct. Comput. Sci. 18(3): 555-609 (2008) - [j12]Steffen van Bakel, Ugo de'Liguoro:
Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008) - [j11]Steffen van Bakel:
The heart of intersection type assignment: Normalisation proofs revisited. Theor. Comput. Sci. 398(1-3): 82-94 (2008) - [c23]Steffen van Bakel:
Subject Reduction vs Intersection. BCS Int. Acad. Conf. 2008: 249-258 - [c22]Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath:
Modelling Intracellular Fate of FGF Receptors With BioAmbients. QAPL 2008: 181-197 - 2006
- [c21]Alexander J. Summers, Steffen van Bakel:
Approaches to Polymorphism in Classical Sequent Calculus. ESOP 2006: 84-99 - 2005
- [c20]Steffen van Bakel, Ugo de'Liguoro:
Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80 - [c19]Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne:
The Language chi: Circuits, Computations and Classical Logic. ICTCS 2005: 81-96 - 2004
- [j10]Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel:
Intersection types for explicit substitutions. Inf. Comput. 189(1): 17-42 (2004) - [j9]Steffen van Bakel:
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. Notre Dame J. Formal Log. 45(1): 35-63 (2004) - [c18]Steffen van Bakel, Jayshan Raghunandan:
Implementing X. TERMGRAPH 2004: 171-195 - [c17]Steffen van Bakel:
Intersection and Union Types for chi. ITRS 2004: 203-227 - 2003
- [j8]Steffen van Bakel, Maribel Fernández:
Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290(1): 975-1019 (2003) - [c16]Steffen van Bakel, Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215 - [e1]Steffen van Bakel:
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(1), Elsevier 2003 [contents] - 2002
- [j7]Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Intersection types for lambda-trees. Theor. Comput. Sci. 272(1-2): 3-40 (2002) - [c15]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395 - [c14]Steffen van Bakel, Mariangiola Dezani-Ciancaglini:
Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370 - [c13]Steffen van Bakel:
Rank 2 Types for Term Graph Rewriting. TIP@MPC 2002: 1-20 - [c12]Steffen van Bakel:
Strongly Normalising Cut-Elimination with Strict Intersection Types. ITRS 2002: 19-36 - [c11]Steffen van Bakel:
Preface. ITRS 2002: 182-183
1990 – 1999
- 1999
- [c10]Steffen van Bakel, Franco Barbanera, Maribel Fernández:
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. TYPES 1999: 41-60 - 1997
- [j6]Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn:
Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. 86(3): 267-303 (1997) - [j5]Steffen van Bakel, Maribel Fernández:
Normalization Results for Typeable Rewrite Systems. Inf. Comput. 133(2): 73-116 (1997) - 1996
- [j4]Steffen van Bakel:
Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundam. Informaticae 26(2): 141-166 (1996) - [c9]Steffen van Bakel, Franco Barbanera, Maribel Fernández:
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403 - 1995
- [j3]Steffen van Bakel:
Intersection Type Assignment Systems. Theor. Comput. Sci. 151(2): 385-435 (1995) - [c8]Steffen van Bakel, Maribel Fernández:
Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36 - [c7]Steffen van Bakel, Maribel Fernández:
(Head-) Normalization of Typeable Rewrite Systems. RTA 1995: 279-293 - [c6]Steffen van Bakel, Maribel Fernández:
Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF 1995: 9 - 1994
- [c5]Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn:
Comparing Cubes. LFCS 1994: 353-365 - 1993
- [j2]Steffen van Bakel:
Principal Type Schemes for the Strict Type Assignment System. J. Log. Comput. 3(6): 643-670 (1993) - [c4]Steffen van Bakel:
Essential Intersection Type Assignment. FSTTCS 1993: 13-23 - [c3]Steffen van Bakel, Maribel Fernández:
Strong Normalization of Typeable Rewrite Systems. HOA 1993: 20-39 - [c2]Steffen van Bakel:
Partial Intersection Type Assignment in Applicative Term Rewriting Systems. TLCA 1993: 29-44 - 1992
- [j1]Steffen van Bakel:
Complete Restrictions of the Intersection Type Discipline. Theor. Comput. Sci. 102(1): 135-163 (1992) - [c1]Steffen van Bakel, Sjaak Smetsers, Simon Brock:
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP 1992: 300-321
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
