Výsledky vyhledávání - Tom Hirschowitz

  • Zobrazuji výsledky 1 - 6 z 6
Upřesnit hledání
Seznam   Mřížka  
  1. 1

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

    Vydáno 2014-10-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:
  2. 2

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

    Vydáno 2013-09-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:
  3. 3

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

    Vydáno 2022-09-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:
  4. 4

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

    Vydáno 2022-08-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:
  5. 5

    An intensionally fully-abstract sheaf model for $\pi$ (expanded version) Autor Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

    Vydáno 2017-11-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:
  6. 6

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

    Vydáno 2024-03-01
    Získat plný text
    Artigo
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: