A Complete Characterization of Complete Intersection-Type Theories

Autor: Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple s

Externí odkaz: http://arxiv.org/abs/cs/0011039

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Arterial and venous thrombosis in coronavirus 2019 disease (Covid-19):relationship with mortality

Autor: Violi, F., Ceccarelli, G., Cangemi, R., Cipollone, F., D'Ardes, D., Oliva, A., Pirro, M., Rocco, M., Alessandri, F., D'Ettorre, G., Lichtner, M., Pignatelli, P., Ferro, D., Ruberto, F., Lip, G. Y. H., Pugliese, F., Mastroianni, C. M., Albante, A., Auricchio, D., De Lazzaro, F., M. De Lauri D., Di Santo, C., Ianni, S., Magnanimi, E., Ratini, F., Sabani, A., Titi, L., Vaccaro, P., Giordano, G., Manganelli, C., Mancone, M., Bruno, K., Celli, P., Consolo, S., Croce, C., Giannetti, L., Martelli, S., Messina, T., Pattelli, E., Perrella, S., Portieri, M., Ricci, C., Almenrader, N., Arzilla, R., Delia, E., Di Giovanni, C., Laderchi, A., Macri, C., Marandola, M., Nardecchia, G., Pacilli, M., Pacini, F., Araimo Morselli, F., Imperiale, C., Tordiglione, P., Ciardi, M. R., Ajassa, C., D'Agostino, C., Russo, G., Trinchieri, V., Guariglia, P., Antonelli, L., Cuomo, R. M., Carnevalini, M., Mastropietro, C., Iaiani, G., Mezzaroma, I., Falciano, M., Brogi, A., Celani, L., Cavallari, N. E., Rivano Capparuccia, M., Massetti, A. P., Fimiani, C., Santori, M., Bianchi, A., Franchi, C., De Angelis, M., Sereno, S., Furlan, C., De Sanctis, G., Paoletti, F., Pasculli, P., Cogliati Dezza, F., Vassalini, P., Cancelli, F., De Girolamo, G., Savelloni, G., Valeri, S., Siccardi, G., Alessi, F., Recchia, G., Ridolfi, M., Romani, F. E., Aronica, R., Filippi, V., Vera, M., Volpicelli, L., Candy, M., Alban, R., Di Bari, S., Gavaruzzi, F., Casali, E., Carli, M. S., Zingaropoli, A. M., Perri, V., Santinelli, L., Pinacchio, C., Nijhawan, P., Miele, C. M., Innocenti, P. G., Mengoni, F.

Publikováno v: Violi, F, Ceccarelli, G, Cangemi, R, Cipollone, F, D'Ardes, D, Oliva, A, Pirro, M, Rocco, M, Alessandri, F, D'Ettorre, G, Lichtner, M, Pignatelli, P, Ferro, D, Ruberto, F, Lip, G Y H, Pugliese, F, Mastroianni, C M & Intensive Care, Infectious Diseases COVID-19 Study Group of Sapienza University 2021, ' Arterial and venous thrombosis in coronavirus 2019 disease (Covid-19) : relationship with mortality ', Internal and Emergency Medicine, vol. 16, no. 5, pp. 1231-1237 . https://doi.org/10.1007/s11739-020-02621-8
Internal and Emergency Medicine

Background Patients with coronavirus disease 2019 (Covid-19) may experience venous thrombosis while data regarding arterial thrombosis are sparse. Methods Prospective multicenter study in 5 hospitals including 373 patients with Covid-19-related pneum

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7160baec7c2ba231f87c0c97c531a16
https://vbn.aau.dk/da/publications/b3619ca4-9cd7-4316-8be1-d2913da8ba01

LF+ in Coq for fast-and-loose reasoning

Autor: Alessi, F, Ciaffaglione, A, Di Gianantonio, P, Honsell, F, Lenisa, M, Scagnetto, I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3659::5d47f45e57bf1b72c6639ea9f6f7ce01
http://hdl.handle.net/11390/1177511

Simple Easy Terms

Autor: Alessi, F., Lusin, S.

Publikováno v: In Electronic Notes in Theoretical Computer Science February 2003 70(1):1-18