Search Results - Lafont, Ambroise

  • Showing 1 - 18 results of 18
Refine Results
  1. 1
    A categorical framework for congruence of applicative bisimilarity in higher-order languages

    A categorical framework for congruence of applicative bisimilarity in higher-order languages by Hirschowitz, Tom, Lafont, Ambroise

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Variable binding and substitution for (nameless) dummies

    Variable binding and substitution for (nameless) dummies by Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise, Maggesi, Marco

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Modules over monads and operational semantics (expanded version)

    Modules over monads and operational semantics (expanded version) by Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Probing wave function collapse models with a classically driven mechanical oscillator

    Probing wave function collapse models with a classically driven mechanical oscillator by Ho, Melvyn, Lafont, Ambroise, Sangouard, Nicolas, Sekatski, Pavel

    Published in New journal of physics
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Presentable signatures and initial semantics

    Presentable signatures and initial semantics by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Dargent: A Silver Bullet for Verified Data Layout Refinement

    Dargent: A Silver Bullet for Verified Data Layout Refinement by Chen, Zilin, Lafont, Ambroise, O'Connor, Liam, Keller, Gabriele, McLaughlin, Craig, Jackson, Vincent, Rizkallah, Christine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Reduction monads and their signatures

    Reduction monads and their signatures by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    A categorical framework for congruence of applicative bisimilarity in higher-order languages

    A categorical framework for congruence of applicative bisimilarity in higher-order languages by Hirschowitz, Tom, Lafont, Ambroise

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Modules over monads and operational semantics (expanded version)

    Modules over monads and operational semantics (expanded version) by Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Variable binding and substitution for (nameless) dummies

    Variable binding and substitution for (nameless) dummies by Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise, Maggesi, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A more general categorical framework for congruence of applicative bisimilarity

    A more general categorical framework for congruence of applicative bisimilarity by Hirschowitz, Tom, Lafont, Ambroise

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Signatures and models for syntax and operational semantics in the presence of variable binding

    Signatures and models for syntax and operational semantics in the presence of variable binding by Lafont, Ambroise

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on

    A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on by Hirschowitz, Tom, Lafont, Ambroise

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Presentable signatures and initial semantics

    Presentable signatures and initial semantics by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Reduction Monads and Their Signatures

    Reduction Monads and Their Signatures by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Modular specification of monads through higher-order presentations

    Modular specification of monads through higher-order presentations by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Probing wave function collapse models with a classically driven mechanical oscillator

    Probing wave function collapse models with a classically driven mechanical oscillator by Ho, Melvyn, Lafont, Ambroise, Sangouard, Nicolas, Sekatski, Pavel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    MIGNON : opéra-comique - Extraits / Ambroise THOMAS

    MIGNON : opéra-comique - Extraits / Ambroise THOMAS by Thomas, Ambroise (1811-1896). Auteur ou responsable intellectuel, Vallin, Ninon (1886-1961). Soprano, Norena, Eidé (1884-1968). Soprano, Lafont, Julien (1880-1970). Baryton-basse, Endrèze, Arthur (1893-1975). Baryton (voix), Burdino, André (1891-1987). Interprète, Billot, Étienne (1878-1962). Baryton-basse, Berthrand, Lucy. Interprète

    Request full text
    Audio
    Save to List
    Saved in:

Search Tools: