卢卡·卡德利;乔治·盖利;安德鲁·戈登。 保密和创建组。 (英文) Zbl 1101.68692号 Inf.计算。 196,第2期,127-155(2005).MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,信息计算。196,第2号,127--155(2005;Zbl 1101.68692) 全文: 内政部
路易斯·凯恩斯;卢卡·卡德利 用于并发的空间逻辑。一、。 (英文) Zbl 1068.03022号 Inf.计算。 186,第2期,194-235(2003). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},信息计算。186,第2号,194--235(2003;Zbl 1068.03022) 全文: 内政部
卢卡·卡德利;乔治·盖利;安德鲁·戈登。 环境演算的类型。 (英文) Zbl 1093.68060号 Inf.计算。 177,第2期,160-194(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,信息计算。177,编号2,160--194(2002;Zbl 1093.68060) 全文: 内政部 链接
布鲁斯(Kim B.Bruce)。;卢卡·卡德利;本杰明·皮尔斯。 比较对象编码。 (英文) Zbl 1045.68528号 Inf.计算。 155,编号1-2,108-133(1999).MSC公司:第68页第19页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人,《信息计算》。155,编号1--2,108-133(1999;Zbl 1045.68528) 全文: 内政部
马丁·阿巴迪;卢卡·卡德利 原始对象理论:无类型和一阶系统。 (英文) 兹比尔0853.68115 Inf.计算。 125,第2期,78-102(1996).MSC公司:65年第68季度 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli},信息计算。125,第2号,78--102(1996;Zbl 0853.68115) 全文: 内政部
卢卡·卡德利;西蒙·马提尼;约翰·米切尔(John C.Mitchell)。;安德烈·斯克洛夫 带有子类型的系统\(F\)的扩展。 (英文) Zbl 0805.03008号 Inf.计算。 109,编号1-2,4-56(1994). 审核人:C.柏林(巴黎) MSC公司:03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,信息计算。109,编号1--2,4--56(1994;Zbl 0805.03008) 全文: 内政部
卢卡·卡德利 多重继承的语义。 (英文) Zbl 0651.68017号 Inf.计算。 76,编号2-3,138-164(1988). 审核人:L.Cardelli(卡德利) MSC公司:60年第68季度 68第05页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli},信息计算。76,编号2--3,138-164(1988;Zbl 0651.68017) 全文: 内政部