Search Results - Breuvart, Flavien

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    On the characterization of models of H: The semantical aspect

    On the characterization of models of H: The semantical aspect by Breuvart, Flavien

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    On Higher-Order Probabilistic Subrecursion

    On Higher-Order Probabilistic Subrecursion by Breuvart, Flavien, Lago, Ugo Dal, Herrou, Agathe

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Relational Graph Models at Work

    Relational Graph Models at Work by Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Canonical Gradings of Monads

    Canonical Gradings of Monads by Breuvart, Flavien, McDermott, Dylan, Uustalu, Tarmo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Reflection on the enrichment of double categories

    Reflection on the enrichment of double categories by Breuvart, Flavien

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Canonical Gradings of Monads

    Canonical Gradings of Monads by Breuvart, Flavien, McDermott, Dylan, Uustalu, Tarmo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    An Indexed Linear Logic for Idempotent Intersection Types (Long version)

    An Indexed Linear Logic for Idempotent Intersection Types (Long version) by Breuvart, Flavien, Olimpieri, Federico

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    On the characterization of models of H: The semantical aspect

    On the characterization of models of H: The semantical aspect by Breuvart, Flavien

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Unifying Graded Linear Logic and Differential Operators

    Unifying Graded Linear Logic and Differential Operators by Breuvart, Flavien, Kerjean, Marie, Mirwasser, Simon

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Refining Properties of Filter Models: Sensibility, Approximability and Reducibility

    Refining Properties of Filter Models: Sensibility, Approximability and Reducibility by Breuvart, Flavien

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    On the characterization of models of H : The operational aspect

    On the characterization of models of H : The operational aspect by Breuvart, Flavien

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    On Higher-Order Probabilistic Subrecursion

    On Higher-Order Probabilistic Subrecursion by Breuvart, Flavien, Ugo Dal Lago, Herrou, Agathe

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Relational Graph Models at Work

    Relational Graph Models at Work by Breuvart, Flavien, Manzonetto, Giulio, Ruoppolo, Domenico

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    On the discriminating power of tests in resource lambda-calculus

    On the discriminating power of tests in resource lambda-calculus by Breuvart, Flavien

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

Search Tools: