Showing 1 - 3 results of 3 for search 'Steffen van Bakel', query time: 1.29s
Refine Results
-
1
-
2
Orchestrated Session Compliance by Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Published 2015-08-01
Article -
3
Intersection Types for the lambda-mu Calculus by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Published 2018-01-01
Article