Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Types Isomorphisms"'
Autor:
Joachim De Lataillade
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λ$\mu$-calculus, which can be seen as an ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0abfdb22b4d207f9ee5f5c2a751817e5
https://hal.archives-ouvertes.fr/hal-00149525/file/isotypes.pdf
https://hal.archives-ouvertes.fr/hal-00149525/file/isotypes.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.