Showing 1 - 1 results of 1 for search 'Anders Schack-Nielsen', query time: 0.02s Refine Results
  1. 1
    Pattern Unification for the Lambda Calculus with Linear and Affine Types

    Pattern Unification for the Lambda Calculus with Linear and Affine Types by Anders Schack-Nielsen, Carsten Schürmann

    Published 2010-09-01
    Get full text
    Article

Search Tools: