Steffen van Bakel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 55 from 55

2023

Adding Negation to Lambda MuSteffen van Bakel. lmcs, 19(2), 2023. [doi]

A Calculus of Delayed ReductionsSteffen van Bakel, Nicolas Wu, Emma Tye. ppdp 2023: [doi]

2019

Exception Handling and Classical LogicSteffen van Bakel. ppdp 2019: [doi]

2018

Intersection Types for the lambda-mu CalculusSteffen van Bakel, Franco Barbanera, Ugo de'Liguoro. lmcs, 14(1), 2018. [doi]

Characterisation of Normalisation Properties for λμ using Strict Negated Intersection TypesSteffen van Bakel. tocl, 19(1), 2018. [doi]

2017

Orchestrated session complianceFranco Barbanera, Steffen van Bakel, Ugo de'Liguoro. jlp, 86(1):30-76, 2017. [doi]

2014

Semantic Types and Approximation for Featherweight JavaReuben N. S. Rowe, Steffen van Bakel. TCS, 517:34-74, 2014. [doi]

2013

Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st BirthdaySteffen van Bakel, Reuben N. S. Rowe. BIRTHDAY 2013: 27-46 [doi]

PrefaceSteffen van Bakel, Stefano Berardi, Ulrich Berger. APAL, 164(6):589-590, 2013. [doi]

2012

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended AbstractSteffen van Bakel, Maria Grazia Vigliotti. ifipTCS 2012: 372-387 [doi]

Completeness and Soundness Results for with Intersection and Union TypesSteffen van Bakel. FUIN, 121(1-4):1-41, 2012. [doi]

2011

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract)Reuben Rowe, Steffen van Bakel. tlca 2011: 229-244 [doi]

A Filter Model for the ::::λμ::::-Calculus - (Extended Abstract)Steffen van Bakel, Franco Barbanera, Ugo de Liguoro. tlca 2011: 213-228 [doi]

Strict intersection types for the Lambda CalculusSteffen van Bakel. ACM Comput. Surv., 43(3):20, 2011. [doi]

2010

Completeness and partial soundness results for intersection and union typing for lambda:::_:::µµ:::_:::Steffen van Bakel. APAL, 161(11):1400-1430, 2010. [doi]

PrefaceSteffen van Bakel, Stefano Berardi, Ulrich Berger. APAL, 161(11):1313-1314, 2010. [doi]

2009

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and TypesSteffen van Bakel, Maria Grazia Vigliotti. concur 2009: 84-98 [doi]

Semantic predicate types and approximation for class-based object oriented programmingSteffen van Bakel, Reuben N. S. Rowe. ECOOP 2009: [doi]

2008

Subject Reduction vs IntersectionSteffen van Bakel. bcs 2008: 249-258 [doi]

Computation with classical sequentsSteffen van Bakel, Pierre Lescanne. mscs, 18(3):555-609, 2008. [doi]

Logical Equivalence for Subtyping Object and Recursive TypesSteffen van Bakel, Ugo de Liguoro. mst, 42(3):306-348, 2008. [doi]

Modelling Intracellular Fate of FGF Receptors With BioAmbientsSteffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath. ENTCS, 220(3):181-197, 2008. [doi]

The heart of intersection type assignment: Normalisation proofs revisitedSteffen van Bakel. TCS, 398(1-3):82-94, 2008. [doi]

PrefaceSteffen van Bakel, Stefano Berardi. APAL, 153(1-3):1-2, 2008. [doi]

2006

Approaches to Polymorphism in Classical Sequent CalculusAlexander J. Summers, Steffen van Bakel. ESOP 2006: 84-99 [doi]

2005

2004

Intersection types for explicit substitutionsStéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel. iandc, 189(1):17-42, 2004. [doi]

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly NormalizingSteffen van Bakel. ndjfl, 45(1):35-63, 2004. [doi]

2003

Logical Semantics for the First Order varsigma-CalculusSteffen van Bakel, Ugo de Liguoro. ictcs 2003: 202-215 [doi]

Normalization, approximation, and semantics for combinator systemsSteffen van Bakel, Maribel Fernández. TCS, 290(1):975-1019, 2003.

2002

1999

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and ::::beta::::-RuleSteffen van Bakel, Franco Barbanera, Maribel Fernández. TYPES 2000: 41-60 [doi]

1997

Normalization Results for Typeable Rewrite SystemsSteffen van Bakel, Maribel Fernández. iandc, 133(2):73-116, 1997.

Comparing Cubes of Typed and Type Assignment SystemsSteffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn. APAL, 86(3):267-303, 1997.

1996

Rank 2 Intersection Type Assignment in Term Rewriting SystemsSteffen van Bakel. FUIN, 26(2):141-166, 1996.

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and NormalizationSteffen van Bakel, Franco Barbanera, Maribel Fernández. ESOP 1996: 387-403

1995

Intersection Type Assignment SystemsSteffen van Bakel. TCS, 151(2):385-435, 1995. [doi]

Normalization Properties of Typeable Term Rewriting Systems (Abstract)Steffen van Bakel, Maribel Fernández. UNIF 1995: 9

Approximation and Normalization Results for Typeable Term Rewriting SystemsSteffen van Bakel, Maribel Fernández. hoa 1996: 17-36

(Head-) Normalization of Typeable Rewrite SystemsSteffen van Bakel, Maribel Fernández. RTA 1995: 279-293

1994

Comparing CubesSteffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn. lfcs 1994: 353-365

1993

Partial Intersection Type Assignment in Applicative Term Rewriting SystemsSteffen van Bakel. tlca 1993: 29-44

Essential Intersection Type AssignmentSteffen van Bakel. fsttcs 1993: 13-23

Principal Type Schemes for the Strict Type Assignment SystemSteffen van Bakel. logcom, 3(6):643-670, 1993.

Strong Normalization of Typeable Rewrite SystemsSteffen van Bakel, Maribel Fernández. hoa 1994: 20-39

1992

Partial Type Assignment in Left Linear Apllicative Term Rewriting SystemsSteffen van Bakel, Sjaak Smetsers, Simon Brock. caap 1992: 300-321

Complete Restrictions of the Intersection Type DisciplineSteffen van Bakel. TCS, 102(1):135-163, 1992.

Sign in or sign up to see more results.

runs on WebDSL