Steffen van Bakel

70 papers A 2B 2C 2Misc 1Journal 30Unranked 29

Year	Rank	Type	Title / Venue / Authors
2023	C	`conf`	A Calculus of Delayed Reductions. PPDP Steffen van Bakel, Nicolas Wu, Emma Tye
2023	J	`jnl`	Adding Negation to Lambda Mu. Log. Methods Comput. Sci. Steffen van Bakel
2021	J	`jnl`	Adding Negation to Lambda Mu. CoRR Steffen van Bakel
2019	C	`conf`	Exception Handling and Classical Logic. PPDP Steffen van Bakel
2018	J	`jnl`	Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. ACM Trans. Comput. Log. Steffen van Bakel
2018	J	`jnl`	Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2017	J	`jnl`	Intersection Types for the lambda-mu Calculus. CoRR Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2017	J	`jnl`	Orchestrated session compliance. J. Log. Algebraic Methods Program. Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2016	—	`conf`	Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ITRS Steffen van Bakel
2016	—	`ed.`	Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. CL&C Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi
2015	—	`conf`	Orchestrated Session Compliance. ICE Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2014	—	`conf`	A fully-abstract semantics of lambda-mu in the pi-calculus. CL&C Steffen van Bakel, Maria Grazia Vigliotti
2014	J	`jnl`	Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. Reuben N. S. Rowe, Steffen van Bakel
2013	—	`conf`	Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. The Beauty of Functional Code Steffen van Bakel, Reuben N. S. Rowe
2013	J	`jnl`	Preface. Ann. Pure Appl. Log. Steffen van Bakel, Stefano Berardi, Ulrich Berger
2012	—	`conf`	An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS Steffen van Bakel, Maria Grazia Vigliotti
2012	—	`conf`	Characterisation of Strongly Normalising lambda-mu-Terms. ITRS Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2012	J	`jnl`	Completeness and Soundness Results for with Intersection and Union Types. Fundam. Informaticae Steffen van Bakel
2011	—	`conf`	A Filter Model for the TLCA Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2011	—	`conf`	Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA Reuben N. S. Rowe, Steffen van Bakel
2011	J	`jnl`	From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus CoRR Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
2011	J	`jnl`	Note on a simple type system for non-interference CoRR Steffen van Bakel, Maria Grazia Vigliotti
2011	J	`jnl`	Reduction in X does not agree with Intersection and Union Types (Extended abstract) CoRR Steffen van Bakel
2011	J	`jnl`	Semantic Predicate Types and Approximation for Class-based Object Oriented Programming CoRR Steffen van Bakel, Reuben N. S. Rowe
2011	J	`jnl`	Strict intersection types for the Lambda Calculus. ACM Comput. Surv. Steffen van Bakel
2010	J	`jnl`	Completeness and partial soundness results for intersection and union typing for lambda Ann. Pure Appl. Log. Steffen van Bakel
2010	J	`jnl`	Preface. Ann. Pure Appl. Log. Steffen van Bakel, Stefano Berardi, Ulrich Berger
2010	—	`ed.`	Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. CL&C Steffen van Bakel, Stefano Berardi, Ulrich Berger
2010	—	`conf`	Sound and Complete Typing for lambda-mu ITRS Steffen van Bakel
2009	B	`conf`	A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR Steffen van Bakel, Maria Grazia Vigliotti
2009	—	`conf`	Semantic predicate types and approximation for class-based object oriented programming. FTfJP@ECOOP Steffen van Bakel, Reuben N. S. Rowe
2008	J	`jnl`	Computation with classical sequents. Math. Struct. Comput. Sci. Steffen van Bakel, Pierre Lescanne
2008	J	`jnl`	Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. Steffen van Bakel, Ugo de'Liguoro
2008	—	`conf`	Modelling Intracellular Fate of FGF Receptors With BioAmbients. QAPL Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath
2008	J	`jnl`	Preface. Ann. Pure Appl. Log. Steffen van Bakel, Stefano Berardi
2008	—	`conf`	Subject Reduction vs Intersection. BCS Int. Acad. Conf. Steffen van Bakel
2008	J	`jnl`	The heart of intersection type assignment: Normalisation proofs revisited. Theor. Comput. Sci. Steffen van Bakel
2006	A	`conf`	Approaches to Polymorphism in Classical Sequent Calculus. ESOP Alexander J. Summers, Steffen van Bakel
2005	—	`conf`	Subtyping Object and Recursive Types Logically. ICTCS Steffen van Bakel, Ugo de'Liguoro
2005	—	`conf`	The Language chi: Circuits, Computations and Classical Logic. ICTCS Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne
2004	J	`jnl`	Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. Notre Dame J. Formal Log. Steffen van Bakel
2004	—	`conf`	Implementing X. TERMGRAPH Steffen van Bakel, Jayshan Raghunandan
2004	—	`conf`	Intersection and Union Types for chi. ITRS Steffen van Bakel
2004	J	`jnl`	Intersection types for explicit substitutions. Inf. Comput. Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
2003	—	`ed.`	Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 ITRS Steffen van Bakel
2003	—	`conf`	Logical Semantics for the First Order varsigma-Calculus. ICTCS Steffen van Bakel, Ugo de'Liguoro
2003	J	`jnl`	Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. Steffen van Bakel, Maribel Fernández
2002	—	`conf`	Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
2002	B	`conf`	Characterising Strong Normalisation for Explicit Substitutions. LATIN Steffen van Bakel, Mariangiola Dezani-Ciancaglini
2002	J	`jnl`	Intersection types for lambda-trees. Theor. Comput. Sci. Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
2002	—	`conf`	Preface. ITRS Steffen van Bakel
2002	—	`conf`	Rank 2 Types for Term Graph Rewriting. TIP@MPC Steffen van Bakel
2002	—	`conf`	Strongly Normalising Cut-Elimination with Strict Intersection Types. ITRS Steffen van Bakel
1999	—	`conf`	Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and TYPES Steffen van Bakel, Franco Barbanera, Maribel Fernández
1997	J	`jnl`	Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1997	J	`jnl`	Normalization Results for Typeable Rewrite Systems. Inf. Comput. Steffen van Bakel, Maribel Fernández
1996	J	`jnl`	Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundam. Informaticae Steffen van Bakel
1996	A	`conf`	Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP Steffen van Bakel, Franco Barbanera, Maribel Fernández
1995	—	`conf`	(Head-) Normalization of Typeable Rewrite Systems. RTA Steffen van Bakel, Maribel Fernández
1995	—	`conf`	Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA Steffen van Bakel, Maribel Fernández
1995	J	`jnl`	Intersection Type Assignment Systems. Theor. Comput. Sci. Steffen van Bakel
1995	—	`conf`	Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF Steffen van Bakel, Maribel Fernández
1994	Misc	`conf`	Comparing Cubes. LFCS Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1993	—	`conf`	Essential Intersection Type Assignment. FSTTCS Steffen van Bakel
1993	—	`—`	Intersection type disciplines in Lambda Calculus and applicative term rewriting systems. Steffen van Bakel
1993	—	`conf`	Partial Intersection Type Assignment in Applicative Term Rewriting Systems. TLCA Steffen van Bakel
1993	J	`jnl`	Principal Type Schemes for the Strict Type Assignment System. J. Log. Comput. Steffen van Bakel
1993	—	`conf`	Strong Normalization of Typeable Rewrite Systems. HOA Steffen van Bakel, Maribel Fernández
1992	J	`jnl`	Complete Restrictions of the Intersection Type Discipline. Theor. Comput. Sci. Steffen van Bakel
1992	—	`conf`	Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP Steffen van Bakel, Sjaak Smetsers, Simon Brock