Showing 1 - 6 results of 6 for search 'Thomas Ehrhard', query time: 0.02s Refine Results
  1. 1
    A coherent differential PCF

    A coherent differential PCF by Thomas Ehrhard

    Published 2023-10-01
    Get full text
    Article
  2. 2
    Differentials and distances in probabilistic coherence spaces

    Differentials and distances in probabilistic coherence spaces by Thomas Ehrhard

    Published 2022-08-01
    Get full text
    Article
  3. 3
    Probabilistic call by push value

    Probabilistic call by push value by Thomas Ehrhard, Christine Tasson

    Published 2019-01-01
    Get full text
    Article
  4. 4
    Acyclic Solos and Differential Interaction Nets

    Acyclic Solos and Differential Interaction Nets by Thomas Ehrhard, Olivier Laurent

    Published 2010-09-01
    Get full text
    Article
  5. 5
    The stack calculus

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

    Published 2013-03-01
    Get full text
    Article
  6. 6
    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion by Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

    Published 2012-10-01
    Get full text
    Article

Search Tools: