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

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

3

ETpathfinder: a cryogenic testbed for interferometric gravi..:

Utina, A ; Amato, A ; Arends, J...
info:eu-repo/semantics/altIdentifier/wos/000858457500001. , 2022

Link: https://publikationen.bi..

4

Adding Negation to Lambda Mu:

van Bakel, Steffen
http://arxiv.org/abs/2109.10447. , 2021

Link: http://arxiv.org/abs/210..

5

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

6

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

7

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

8

Intersection Types for the lambda-mu Calculus:

Steffen van Bakel ; Franco Barbanera ; Ugo de'Liguoro
https://lmcs.episciences.org/4194/pdf. , 2018

Link: https://doi.org/10.23638..

9

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

10

Characterisation of Approximation and (Head) Normalisation ..:

van Bakel, Steffen
http://arxiv.org/abs/1702.02273. , 2017

Link: http://arxiv.org/abs/170..

11

Intersection Types for the lambda-mu Calculus:

van Bakel, Steffen ; Barbanera, Franco ; de'Liguoro, Ugo
http://arxiv.org/abs/1704.00272. , 2017

Link: http://arxiv.org/abs/170..

12

Characterisation of Approximation and (Head) Normalisation ..:

Steffen van Bakel
http://arxiv.org/pdf/1702.02273v1. , 2017

Link: https://doi.org/10.4204/..

13

Proceedings Sixth International Workshop on Classical Logic..:

Kohlenbach, Ulrich ; van Bakel, Steffen ; Berardi, Stefano
http://arxiv.org/abs/1606.05820. , 2016

Link: http://arxiv.org/abs/160..

14

Orchestrated Session Compliance:

Franco Barbanera ; Steffen van Bakel ; Ugo de'Liguoro
http://arxiv.org/pdf/1508.04849v1. , 2015

Link: https://doi.org/10.4204/..

15

Orchestrated Session Compliance:

Barbanera Franco ; Steffen van Bakel ; DE' LIGUORO, Ugo
info:eu-repo/semantics/altIdentifier/wos/WOS:000367339200003. , 2015

Link: http://hdl.handle.net/23..