Search Results - Hirschowitz, André

Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    Modules over monads and initial semantics

    Modules over monads and initial semantics by Hirschowitz, André, Maggesi, Marco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Nested Abstract Syntax in Coq

    Nested Abstract Syntax in Coq by Hirschowitz, André, Maggesi, Marco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Initial Semantics for Strengthened Signatures

    Initial Semantics for Strengthened Signatures by Hirschowitz, André, Maggesi, Marco

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Saturating directed spaces

    Saturating directed spaces by Hirschowitz, André, Hirschowitz, Michel, Hirschowitz, Tom

    Get full text
    Items that this one cites
    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
    Variétés Analytiques Compactes: Colloque, Nice, 19–23 Septembre 1977

    Variétés Analytiques Compactes: Colloque, Nice, 19–23 Septembre 1977 by Hervier, Y, Hirschowitz, A

    Get full text
    Book
    Save to List
    Saved in:
  12. 12
    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:
  13. 13
    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:
  14. 14
    Contraction-free Proofs and Finitary Games for Linear Logic

    Contraction-free Proofs and Finitary Games for Linear Logic by Hirschowitz, André, Hirschowitz, Michel, Hirschowitz, Tom

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    On the Stratification of Nested Hilbert Schemes

    On the Stratification of Nested Hilbert Schemes by Geertsen, Jørgen Anders, Hirschowitz, André

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Initial Semantics for Strengthened Signatures

    Initial Semantics for Strengthened Signatures by Hirschowitz, André, Maggesi, Marco

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    La résolution minimale de l'idéal d'un arrangement général d'un grand nombre de points dans P n

    La résolution minimale de l'idéal d'un arrangement général d'un grand nombre de points dans P n by Hirschowitz, André, Simpson, Carlos

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Saturation theory and very ample Hilbert functions

    Saturation theory and very ample Hilbert functions by Geertsen, J rgen Anders, Hirschowitz, Andr

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Contraction-free proofs and finitary games for Linear Logic

    Contraction-free proofs and finitary games for Linear Logic by Hirschowitz, André, Hirschowitz, Michel, Hirschowitz, Tom

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

Search Tools: