E-LIB Suche - Ergebnisse für: van Bakel, Steffen

1

Adding Negation to Lambda Mu:

van Bakel, Steffen
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Characterisation of Normalisation Properties for λμ using S..:

Bakel, Steffen Van
ACM Transactions on Computational Logic. 19 (2018) 1 - p. 1-47 , 2018

Link: https://doi.org/10.1145/..

3

Characterisation of Normalisation Properties for λμ using S..:

Bakel, Steffen Van
ACM Transactions on Computational Logic (TOCL). 19 (2018) 1 - p. 1-47 , 2018

Link: https://dl.acm.org/doi/1..

4

Orchestrated session compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017

Link: https://doi.org/10.1016/..

5

Preface:

van Bakel, Steffen ; Berardi, Stefano ; Berger, Ulrich
Annals of Pure and Applied Logic. 164 (2013) 6 - p. 589-590 , 2013

Link: https://doi.org/10.1016/..

6

Strict intersection types for the Lambda Calculus:

Bakel, Steffen Van
ACM Computing Surveys (CSUR). 43 (2011) 3 - p. 1-49 , 2011

Link: https://dl.acm.org/doi/1..

7

Strict intersection types for the Lambda Calculus:

Bakel, Steffen Van
ACM Computing Surveys. 43 (2011) 3 - p. 1-49 , 2011

Link: https://doi.org/10.1145/..

8

Preface:

van Bakel, Steffen ; Berardi, Stefano ; Berger, Ulrich
Annals of Pure and Applied Logic. 161 (2010) 11 - p. 1313-1314 , 2010

Link: https://doi.org/10.1016/..

9

Completeness and partial soundness results for intersection..:

van Bakel, Steffen
Annals of Pure and Applied Logic. 161 (2010) 11 - p. 1400-1430 , 2010

Link: https://doi.org/10.1016/..

10

Preface:

van Bakel, Steffen ; Berardi, Stefano
Annals of Pure and Applied Logic. 153 (2008) 1-3 - p. 1-2 , 2008

Link: https://doi.org/10.1016/..

11

The heart of intersection type assignment: Normalisation pr..:

van Bakel, Steffen
Theoretical Computer Science. 398 (2008) 1-3 - p. 82-94 , 2008

Link: https://doi.org/10.1016/..

12

Computation with classical sequents:

VAN BAKEL, STEFFEN ; LESCANNE, PIERRE
Mathematical Structures in Computer Science. 18 (2008) 3 - p. 555-609 , 2008

Link: https://doi.org/10.1017/..

13

Logical Equivalence for Subtyping Object and Recursive Type:

van Bakel, Steffen ; de'Liguoro, Ugo
Theory of Computing Systems. 42 (2007) 3 - p. 306-348 , 2007

Link: https://doi.org/10.1007/..

14

Implementing X:

van Bakel, Steffen ; Raghunandan, Jayshan
Electronic Notes in Theoretical Computer Science. 127 (2005) 5 - p. 171-195 , 2005

Link: https://doi.org/10.1016/..

15

Intersection and Union Types for X:

van Bakel, Steffen
Electronic Notes in Theoretical Computer Science. 136 (2005) - p. 203-227 , 2005

Link: https://doi.org/10.1016/..