Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
Books
Darkening the Italian screen : interviews with genre and exploitation directors who debuted in the 1950s and 1960s / Eugenio Ercolani.
Author / Creator:Ercolani, Eugenio, 1984- author.
Publisher:Jefferson, North Carolina : McFarland & Company, Inc., Publishers, [2019]
Call Numbers:G 2019/4736
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
ArticlesPeer ReviewedFull Text
Predictors of respiratory failure after thoracic surgery: a retrospective cohort study with comparison between lobar and sub-lobar resection
Author / Creator:Pezzuto, Aldo ; Trabalza Marinucci, Beatrice ; Ricci, Alberto ; Ciccozzi, Massimo ; Tonini, Giuseppe ; D’Ascanio, Michela ; Guerrieri, Giulio ; Chianese, Maria ; Castelli, Silvia ; Rendina, Erino Angelo
Publisher:London, England: SAGE Publications
Journal title:Journal of international medical research, 2022-06, Vol.50 (6), p.3000605221094531-3000605221094531
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
ArticlesPeer ReviewedFull Text
Surfactant Protein B Plasma Levels: Reliability as a Biomarker in COPD Patients
Author / Creator:D'Ascanio, Michela ; Viccaro, Fausta ; Pizzirusso, Dario ; Guerrieri, Giulio ; Pagliuca, Alessandra ; Guerrini, Simone ; Innammorato, Marta ; De Vitis, Claudia ; Raffa, Salvatore ; Pezzuto, Aldo ; Ricci, Alberto
Publisher:Switzerland: MDPI AG
Journal title:Biomedicines, 2023-01, Vol.11 (1), p.124
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
ArticlesPeer ReviewedFull Text
Postponement of raa and Glivenko's Theorem, Revisited
Author / Creator:Guerrieri, Giulio ; Naibo, Alberto
Publisher:Dordrecht: Springer
Journal title:Studia logica, 2019-02, Vol.107 (1), p.109-144
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
ArticlesPeer ReviewedFull Text
Postponement of $\mathsf {raa}$ and Glivenko’s Theorem, Revisited
Author / Creator:Guerrieri, Giulio ; Naibo, Alberto
Publisher:Springer Verlag (Germany)
Journal title:Studia logica, 2019-02, Vol.107 (1), p.109-144
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
ArticlesPeer ReviewedFull Text
Postponement of $$\mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited
Author / Creator:Guerrieri, Giulio ; Naibo, Alberto
Journal title:Studia logica, 2019-02, Vol.107 (1), p.109-144
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
ArticlesPeer ReviewedFull Text
On reduction and normalization in the computational core
Author / Creator:Faggian, Claudia ; Guerrieri, Giulio ; de’ Liguoro, Ugo ; Treglia, Riccardo
Publisher:Cambridge, UK: Cambridge University Press
Journal title:Mathematical structures in computer science, 2022-08, Vol.32 (7), p.934-981
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
ArticlesPeer ReviewedFull Text
Facial palsy associated with Epstein–Barr infection in an adult patient: case report
Author / Creator:Menditto, Vincenzo G. ; Guerrieri, Giulio ; Riccomi, Francesca ; Nobili, Lorenzo
Publisher:Cham: Springer International Publishing
Journal title:Internal and emergency medicine, 2019-04, Vol.14 (3), p.479-480
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
ArticlesPeer ReviewedFull Text
Assessing Static Lung Hyperinflation by Whole-Body Plethysmography, Helium Dilution, and Impulse Oscillometry System (IOS) in Patients with COPD
Author / Creator:D'Ascanio, Michela ; Viccaro, Fausta ; Calabro, Noemi ; Guerrieri, Giulio ; Salvucci, Claudia ; Pizzirusso, Dario ; Mancini, Rita ; Vitis, Claudia De ; Pezzuto, Aldo ; Ricci, Alberto
Publisher:London: Dove Medical Press Limited
Journal title:International journal of chronic obstructive pulmonary disease, 2020-01, Vol.15, p.2583-2589
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
ArticlesPeer ReviewedFull Text
Assessing Static Lung Hyperinflation by Whole-Body Plethysmography, Helium Dilution, and Impulse Oscillometry System
Author / Creator:Vitis, Claudia De ; Guerrieri, Giulio ; Mancini, Rita ; Pezzuto, Aldo ; D'Ascanio, Michela ; Pizzirusso, Dario ; Ricci, Alberto ; Salvucci, Claudia ; Viccaro, Fausta ; Calabro, Noemi
Publisher:Dove Medical Press Limited
Journal title:International journal of chronic obstructive pulmonary disease, 2020-10, Vol.15, p.2583
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
ArticlesFull Text
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Author / Creator:Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2019-04
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
ArticlesFull Text
A Deep Inference System for Differential Linear Logic
Author / Creator:Acclavio, Matteo ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2021-12
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
ArticlesFull Text
The Bang Calculus and the Two Girard's Translations
Author / Creator:Guerrieri, Giulio ; Manzonetto, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2019-04
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
ArticlesFull Text
The Theory of Call-by-Value Solvability (long version)
Author / Creator:Accattoli, Beniamino ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2022-07
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
ArticlesFull Text
Strategies for Asymptotic Normalization
Author / Creator:Faggian, Claudia ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2022-05
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
ArticlesFull Text
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)
Author / Creator:Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2018-12
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
ArticlesFull Text
Call-by-Value Solvability and Multi Types
Author / Creator:Accattoli, Beniamino ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2022-02
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
ArticlesFull Text
The Benefits of Diligence
Author / Creator:Arrial, Victor ; Guerrieri, Giulio ; Kesner, Delia
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2024-04
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
ArticlesFull Text
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
Author / Creator:Faggian, Claudia ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2021-01
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
ArticlesFull Text
Meaningfulness and Genericity in a Subsuming Framework
Author / Creator:Kesner, Delia ; Arrial, Victor ; Guerrieri, Giulio
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2024-04
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.

Showing 1 to 20 of 43 results

Export record to excel

Export this record

Export record to excel

Darkening the Italian screen : interviews with genre and exploitation directors who debuted in the 1950s and 1960s / Eugenio Ercolani.

Export this record

Export record to excel

Predictors of respiratory failure after thoracic surgery: a retrospective cohort study with comparison between lobar and sub-lobar resection

Export this record

Export record to excel

Surfactant Protein B Plasma Levels: Reliability as a Biomarker in COPD Patients

Export this record

Export record to excel

Postponement of raa and Glivenko's Theorem, Revisited

Export this record

Export record to excel

Postponement of $\mathsf {raa}$ and Glivenko’s Theorem, Revisited

Export this record

Export record to excel

Postponement of $$\mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited

Export this record

Export record to excel

On reduction and normalization in the computational core

Export this record

Export record to excel

Facial palsy associated with Epstein–Barr infection in an adult patient: case report

Export this record

Export record to excel

Assessing Static Lung Hyperinflation by Whole-Body Plethysmography, Helium Dilution, and Impulse Oscillometry System (IOS) in Patients with COPD

Export this record

Export record to excel

Assessing Static Lung Hyperinflation by Whole-Body Plethysmography, Helium Dilution, and Impulse Oscillometry System

Export this record

Export record to excel

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

Export this record

Export record to excel

A Deep Inference System for Differential Linear Logic

Export this record

Export record to excel

The Bang Calculus and the Two Girard's Translations

Export this record

Export record to excel

The Theory of Call-by-Value Solvability (long version)

Export this record

Export record to excel

Strategies for Asymptotic Normalization

Export this record

Export record to excel

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)

Export this record

Export record to excel

Call-by-Value Solvability and Multi Types

Export this record

Export record to excel

The Benefits of Diligence

Export this record

Export record to excel

Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)

Export this record

Export record to excel

Meaningfulness and Genericity in a Subsuming Framework

Refine your search