Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Tranchini P"'
Autor:
Pistone, Paolo, Tranchini, Luca
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we investigate Syst
Externí odkaz:
http://arxiv.org/abs/2105.00748
In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equationa
Externí odkaz:
http://arxiv.org/abs/1908.11353
Autor:
Pistone, Paolo, Tranchini, Luca
In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isomorphisms hold under theories of equivalence stronger than beta-eta-equ
Externí odkaz:
http://arxiv.org/abs/1907.03481
Autor:
Giusto Trevisan, Maurizio Ruscio, Marina Cinco, Katiuscia Nan, Patrizia Forgione, Nicola Di Meo, Paolo Tranchini, Massimo Nacca, Silvana Trincone, Sara Giordana Rimoldi, Vania Giacomet, Michela Ricci, Davide Melandri, Stefania Artioli, Patrizia Monteforte, Giuseppe Stinco, Serena Bonin
Publikováno v:
Frontiers in Pharmacology, Vol 14 (2023)
Lyme borreliosis (LB) is the most common vector-borne zoonotic inflammatory disease in the Northern Hemisphere. In Italy, the first case was diagnosed in 1985 in a woman in Liguria, while the second, in 1986 in Friuli-Venezia Giulia, documenting the
Externí odkaz:
https://doaj.org/article/e33ece73ed94476db711464aac8346e5
Publikováno v:
Studia Logica, Vol. 107 Issue 1, pp 195-231, 2019
Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic s
Externí odkaz:
http://arxiv.org/abs/1607.06603
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.
Autor:
Trevisan G., Cinco M., Ruscio M., Forgione P., Nazario Bonoldi V. L., Falkingham E., Trevisini S., Tranchini P., Bonin S., Yoshinari N. H.
Borreliaceae is a family of the phylum Spirochaetales and includes two genera, Borrelia and Cristispira genus. Borrelia genus is divided into three groups, namely Lyme group (LG), Echidna‐Reptile group (REPG) and Relapsing Fever group (RFG). All Bo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7d718903b45cef845405705302756187
https://hdl.handle.net/11368/3033761
https://hdl.handle.net/11368/3033761
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.
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.
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.