Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Second-order multiplicative linear logic"'
Autor:
Gianluca Curzi, Luca Roversi
Publikováno v:
Theoretical Computer Science. 837:26-53
We introduce $\mathsf{LEM}$, a type-assignment system for the linear $ \lambda $-calculus that extends second-order $\mathsf{IMLL}_2$, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract assumptions, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9802bd205be3f4ab4489b702a930335e
https://doi.org/10.1016/j.tcs.2020.05.001
https://doi.org/10.1016/j.tcs.2020.05.001
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.
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.