Treffer 1 - 20 von 39 für Suche 'Hirschowitz, Tom', Suchdauer: 0,78s Treffer weiter einschränken
  1. 1
    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting von Hirschowitz, Tom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Modules over monads and operational semantics (expanded version)

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Full abstraction for fair testing in CCS (expanded version)

    Full abstraction for fair testing in CCS (expanded version) von Hirschowitz, Tom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Familial monads and structural operational semantics

    Familial monads and structural operational semantics von Hirschowitz, Tom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Fibred pseudo double categories for game semantics

    Fibred pseudo double categories for game semantics von Eberhart, Clovis, Hirschowitz, Tom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Proceedings Types for Proofs and Programs, Revised Selected Papers: Preface

    Proceedings Types for Proofs and Programs, Revised Selected Papers: Preface von Hirschowitz, Tom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Saturating directed spaces

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A more general categorical framework for congruence of applicative bisimilarity

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Innocent Strategies as Presheaves and Interactive Equivalences for CCS1

    Innocent Strategies as Presheaves and Interactive Equivalences for CCS1 von Hirschowitz, Tom, Pous, Damien


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Innocent Strategies as Presheaves and Interactive Equivalences for CCS

    Innocent Strategies as Presheaves and Interactive Equivalences for CCS von Hirschowitz, Tom, Pous, Damien


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Modules over monads and operational semantics (expanded version)

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Variable binding and substitution for (nameless) dummies

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A more general categorical framework for congruence of applicative bisimilarity

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    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 von Hirschowitz, Tom, Lafont, Ambroise

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Rigid Mixin Modules

    Rigid Mixin Modules von Hirschowitz, Tom


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Mixin modules in a call-by-value setting

    Mixin modules in a call-by-value setting von HIRSCHOWITZ, Tom, LEROY, Xavier


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Mixin Modules in a Call-by-Value Setting

    Mixin Modules in a Call-by-Value Setting von Hirschowitz, Tom, Leroy, Xavier


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Full abstraction for fair testing in CCS (expanded version)

    Full abstraction for fair testing in CCS (expanded version) von Hirschowitz, Tom

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    What's in a game? A theory of game models

    What's in a game? A theory of game models von Eberhart, Clovis, Hirschowitz, Tom

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting von Hirschowitz, Tom

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: