Showing 1 - 2 results of 2 for search 'Steffen van Bakel', query time: 0.02s Refine Results
  1. 1
    Adding Negation to Lambda Mu

    Adding Negation to Lambda Mu by Steffen van Bakel

    Published 2023-05-01
    Get full text
    Article
  2. 2
    Intersection Types for the lambda-mu Calculus

    Intersection Types for the lambda-mu Calculus by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

    Published 2018-01-01
    Get full text
    Article

Search Tools: