卢卡·保里尼;西蒙娜·隆奇·德拉·罗卡 Call-by-value可解性。 (英语) Zbl 0958.68061号 西奥。通知。申请。 33,第6期,507-534(1999).MSC公司:2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}和\textit{S.Ronchi Della Rocca},Theor。通知。申请。33,第6号,507--534(1999;Zbl 0958.68061) 全文: 内政部 欧洲DML 链接
范·贝克尔,斯特芬;路易吉·利科里;Ronchi della Rocca,西蒙娜;巴维尔·乌尔兹琴 比较类型化和类型赋值系统的多维数据集。 (英语) Zbl 0952.03010号 Ann.纯粹应用。逻辑 86,第3期,267-303(1997).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}等人,Ann.Pure Appl。逻辑86,No.3,267--303(1997;Zbl 0952.03010) 全文: 内政部
西蒙娜·隆奇·德拉·罗卡 交叉型学科的主类型方案和统一。 (英语) Zbl 0656.68022号 西奥。计算。科学。 59,第1-2期,181-209(1988).MSC公司:60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{S.Ronchi Della Rocca},Theor。计算。科学。59,编号1--2,181-209(1988;Zbl 0656.68022) 全文: 内政部