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

1

A Calculus of Delayed Reductions:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Van Bakel, Steffen ; Wu, Nicolas ; Tye, Emma - p. 1-13 , 2023

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

2

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..

3

Exception Handling and Classical Logic:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,

van Bakel, Steffen - p. 1-14 , 2019

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

4

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..

5

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/..

6

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/..

7

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/..

8

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/..

9

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..

10

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/..

11

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/..

12

Semantic predicate types and approximation for class-based ..:

, In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs,

van Bakel, Steffen ; Rowe, Reuben N. S. - p. 1-7 , 2009

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

13

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/..

14

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/..

15

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/..