Showing 1 - 3 results of 3 for search 'Antonino Salibra', query time: 0.02s Refine Results
  1. 1
    Ordered Models of the Lambda Calculus

    Ordered Models of the Lambda Calculus by Antonino Salibra, Alberto Carraro

    Published 2013-12-01
    Get full text
    Article
  2. 2
    The stack calculus

    The stack calculus by Alberto Carraro, Thomas Ehrhard, Antonino Salibra

    Published 2013-03-01
    Get full text
    Article
  3. 3
    Minimal lambda-theories by ultraproducts

    Minimal lambda-theories by ultraproducts by Antonio Bucciarelli, Alberto Carraro, Antonino Salibra

    Published 2013-03-01
    Get full text
    Article

Search Tools: