Search Results - Tasson, Christine

Refine Results
  1. 1
    Probabilistic call by push value

    Probabilistic call by push value by Ehrhard, Thomas, Tasson, Christine

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    An explicit formula for the free exponential modality of linear logic

    An explicit formula for the free exponential modality of linear logic by Melliès, Paul-André, Tabareau, Nicolas, Tasson, Christine

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Full Abstraction for Probabilistic PCF

    Full Abstraction for Probabilistic PCF by Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    The linear-non-linear substitution 2-monad

    The linear-non-linear substitution 2-monad by Hyland, Martin, Tasson, Christine

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus

    Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus by Assaf, Ali, Díaz-Caro, Alejandro, Perdrix, Simon, Tasson, Christine, Valiron, Benoî t

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Mackey-complete spaces and power series – a topological model of differential linear logic

    Mackey-complete spaces and power series – a topological model of differential linear logic by KERJEAN, MARIE, TASSON, CHRISTINE

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming

    Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming by Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Transport of finiteness structures and applications

    Transport of finiteness structures and applications by TASSON, CHRISTINE, VAUX, LIONEL

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Geometric and combinatorial views on asynchronous computability

    Geometric and combinatorial views on asynchronous computability by Goubault, Éric, Mimram, Samuel, Tasson, Christine

    Published in Distributed computing
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    An explicit formula for the free exponential modality of linear logic

    An explicit formula for the free exponential modality of linear logic by MELLIÈS, PAUL-ANDRÉ, TABAREAU, NICOLAS, TASSON, CHRISTINE

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming

    Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming by Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Iterated Chromatic Subdivisions are Collapsible

    Iterated Chromatic Subdivisions are Collapsible by Goubault, Éric, Mimram, Samuel, Tasson, Christine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    The Computational Meaning of Probabilistic Coherence Spaces

    The Computational Meaning of Probabilistic Coherence Spaces by Ehrhard, T., Pagani, M., Tasson, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    The linear-non-linear substitution 2-monad

    The linear-non-linear substitution 2-monad by Hyland, Martin, Tasson, Christine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Probabilistic call by push value

    Probabilistic call by push value by Ehrhard, Thomas, Tasson, Christine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    The Inverse Taylor Expansion Problem in Linear Logic

    The Inverse Taylor Expansion Problem in Linear Logic by Pagani, M., Tasson, C.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Transport of finiteness structures and applications

    Transport of finiteness structures and applications by Tasson, Christine, Vaux, Lionel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Density-Based Semantics for Reactive Probabilistic Programming

    Density-Based Semantics for Reactive Probabilistic Programming by Baudart, Guillaume, Mandel, Louis, Tasson, Christine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Measurable Cones and Stable, Measurable Functions

    Measurable Cones and Stable, Measurable Functions by Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Algebraic totality, towards completeness

    Algebraic totality, towards completeness by Tasson, Christine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: