乌戈·德利古罗;里卡多·特雷格里亚 从语义到类型：命令式演算的情况。 （英语） Zbl 07735130号 西奥。计算。科学。 973，文章ID 114082，25 p.（2023）.MSC公司：68甲18 03B40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia}，Theor。计算。科学。973，文章ID 114082，25 p.（2023；Zbl 07735130） 全文： DOI程序 arXiv公司
乌戈·德利古罗;里卡多·特雷格里亚 非类型计算（lambda）演算及其交集类型规程。 （英语） Zbl 1464.68056号 西奥。计算。科学。 846, 141-159 (2020).MSC公司：68甲18 03B40型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia}，Theor。计算。科学。846141-159（2020年；Zbl 1464.68056） 全文： DOI程序 链接
范·贝克尔，斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 （lambda\mu）-演算的过滤器模型（扩展抽象）。 （英语） Zbl 1331.03021号 Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690213-228（2011）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}等人，Lect。注释计算。科学。6690、213--228（2011年；Zbl 1331.03021） 全文： DOI程序