×

找到67个文档（结果1-67）

最新的 引文 关联
阿丽埃拉·伯姆；米歇尔·伯恩；伊曼纽尔·伯姆；马里亚纽拉州Dezani-Ciancaglini；弗朗西丝卡·曼弗雷迪尼；诺拉·佩鲁贾·伯姆

Corrado Böhm。（lambda）冒险。 （英语） Zbl 1505.03002号

阿德里安·雷祖什（编辑），《当代逻辑与计算》。伦敦：学院出版物。朗诗。日志。1, 399-414 (2020).
MSC公司：03-03 01A70号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Böhm}等人，Landsc。日志。1399--414（2020年；Zbl 1505.03002）
维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini

一个十字路口类型的故事。 （英语） Zbl 1498.03040号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。7-20 (2020).
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}和\textit{M.Dezani-Ciancaglini}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。7-20（2020年；兹比尔1498.03040）
全文： 内政部 链接
马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；贝蒂·文内里

Java中的交集类型：回到未来。 （英语） Zbl 1519.68039号

Margaria，Tiziana（编辑）等人，《模型、心态、元：什么、如何以及为什么不？》？在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11200, 68-86 (2019).
MSC公司：68甲15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。11200，68-86（2019年；Zbl 1519.68039）
全文： 内政部
马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚；马达莱娜·扎基

“函数”交集类型的同构。 （英语） Zbl 1359.03014号

Matthes，Ralph（编辑）等人，2013年4月22日至26日在法国图卢兹举行的第19届国际校样和程序类型会议，types 2013。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-72-9）。LIPIcs–莱布尼茨国际信息学论文集26，129-149（2014）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛M.Coppo｝等人，LIPIcs——莱布尼茨国际期刊。通知。26、129——149（2014；Zbl 1359.03014）
全文： 内政部
马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚；马达莱娜·扎基

走向交集和并集类型的同构。 （英语） Zbl 1464.03010号

Graham Lengrand，Stéphane（编辑）等人，《交叉口类型和相关系统第六次研讨会论文集》，克罗地亚杜布罗夫尼克，2012年6月29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）121，58-80（2013）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，《电子》。程序。西奥。计算。科学。（EPTCS）121，58--80（2013；Zbl 1464.03010）
全文： 链接
洛伦佐·贝蒂尼；萨拉·卡佩基；马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；贝蒂·文内里

派生对象的会话和联合类型。 （英语） Zbl 1308.68035号

数学。结构。计算。科学。 23，第6期，1163-1219（2013）.
审核人：哈伊姆·基洛夫（米林顿）
MSC公司：68号30 68甲19 第68季度55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bettini}等人，《数学》。结构。计算。科学。23，第6号，1163--1219（2013；Zbl 1308.68035）
全文： 内政部
亨克·巴伦德雷格特；威尔·德克尔斯；理查德·斯塔特曼
[法比奥·阿莱西；马克·贝泽姆；费利斯·卡多内；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；Gilles Dowek；西尔维娅·吉勒赞；Furio Honsell；迈克尔·穆尔特加特；波拉·塞韦利；巴威·乌尔兹琴]

具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 （英语） Zbl 1347.03001号

逻辑观点剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-0-521-76614-2/hbk）。第二十二章，第833页。(2013).
审核人：莱因哈德·卡勒（里斯本）
MSC公司：03-01 03B40型 03B15号机组 03D75号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}等人，类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2013年；Zbl 1347.03001）
马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡

取消绑定和重新绑定的交集类型。 （英语） Zbl 1457.68047号

Pimentel，Elaine（编辑）等人，《十字路口类型和相关系统第五次研讨会论文集》，英国爱丁堡，2010年7月9日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第45、45-58页（2011年）。
MSC公司：68甲18 03B38型 03B40型
PDF格式BibTeX公司 XML格式引用
\文本{M.Dezani-Ciancaglini}等人，电子。程序。西奥。计算。科学。（EPTCS）45，45-58（2011；Zbl 1457.68047）
全文： arXiv公司 链接
马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡

交叉、通用量化和引用类型。 （英语） Zbl 1257.03039号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771209-224（2009）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。5771、209--224（2009年；Zbl 1257.03039）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；罗伯托·迪·科斯莫；埃利奥·乔瓦内蒂；Makoto Tatsuta

关于交集类型的同构。 （英语） Zbl 1156.03314号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，461-477（2008）。
MSC公司：03B40型 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。5213、461--477（2008年；Zbl 1156.03314）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；Makoto Tatsuta

Klop演算的行为模型。 （英语） Zbl 1276.03015号

Corradini，Flavio（编辑）等人，《逻辑、模型和计算机科学研讨会论文集》（LMCS 2006），意大利卡梅里诺，2006年4月20日至22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记169，19-32（2007）。
MSC公司：03B40型 05年3月 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}和\textit{M.Tatsuta}，电子。注释Theor。计算。科学。169，19-32（2007；Zbl 1276.03015）
全文： 链接
法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini

键入预订单和递归项。 （英语） Zbl 1272.03072号

Coppo，Mario（编辑）等人，《第三届十字路口类型和相关系统国际研讨会论文集》（ITRS 2004），芬兰图尔库，2004年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记136，3-21（2005）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Alessi}和\textit{M.Dezani-Ciancaglini}，电子。注释Theor。计算。科学。136，3--21（2005；Zbl 1272.03072）
全文： 链接
阿莱西，F。；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini

定制过滤器模型。 （英语） Zbl 1100.03511号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。2003年4月30日至5月4日，意大利都灵，TYPES 2003国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-22164-6/pbk）。计算机科学课堂讲稿3085，17-33（2004）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{F.Alessi}等人，Lect。注释计算。科学。3085，17-33（2004；Zbl 1100.03511）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；阿兰·弗里希；埃利奥·乔瓦内蒂；横滨Motohama

语义子类型的相关性。 （英语） Zbl 1270.03043号

van Bakel，Steffen（编辑），ITRS’02。第二届十字路口类型和相关系统研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第1期，88-105（2003）。
MSC公司：03B47号
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，《电子》。注释Theor。计算。科学。70，第1号，88--105（2003；Zbl 1270.03043）
全文： 内政部
法比奥·阿莱西；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini

交叉点类型和计算规则。 （英语） 兹比尔1264.03045

de Queiroz，Ruy（编辑）等人，《第十届逻辑、语言、信息和计算研讨会论文集》（WoLLIC’2003），Ouro Preto，Minas Gerais，巴西，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，45-59（2003）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Alessi}等人，《电子》。注释Theor。计算。科学。84、45-59（2003年；Zbl 1264.03045）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞

两种行为lambda模型。 （英语） Zbl 1023.03022号

Geuvers，Herman（编辑）等人，《证明和程序的类型》。2002年4月24日至28日，荷兰卑尔根达尔，TYPES 2002国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。2646, 127-147 (2003).
MSC公司：03B70号 68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}和\textit{S.Ghilezan}，莱克托。注释计算。科学。2646、127--147（2003年；Zbl 1023.03022）
全文： 链接
范·贝克尔，斯特芬；马里亚纽拉州Dezani-Ciancaglini

以显式替换的强归一化为特征。 （英语） Zbl 1059.68020号

Rajsbaum，Sergio（编辑），拉丁语2002：理论信息学。第五届拉丁美洲研讨会，墨西哥坎昆，2002年4月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43400-3）。莱克特。注释计算。科学。2286, 356-370 (2002).
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.van Bakel}和\textit{M.Dezani-Ciancaglini}，莱克特。注释计算。科学。2286、356--370（2002年；Zbl 1059.68020）
全文： 链接
马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂

从伯姆定理到观测等价：一个非正式的解释。 （英语） Zbl 1261.03074号

利维，Jean-Jacques（编辑），BOTH 2001–Böhm定理：计算机科学理论的应用。2001年7月13日在希腊克里特岛举行的第28届自动控制、语言和编程国际学术讨论会（ICALP 2001）的四个卫星研讨会之一的会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第2期，83-116（2001）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}和\textit{E.Giovannetti}，电子。注释Theor。计算。科学。50，编号2，83--116（2001；Zbl 1261.03074）
全文： 内政部
法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；Furio Honsell

过滤模型和简单术语。 （英语） Zbl 1042.03014号

安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 17-37 (2001).
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{F.Alessi}等人，Lect。注释计算。科学。2202，17-37（2001年；兹bl 1042.03014）
全文： 链接
Dezani-Ciancaglini，M。；F.Honsell。；Y.莫托哈马。

使用交集类型的\（\lambda\）-项的组合特征（扩展抽象）。 （英语） Zbl 0996.03501号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1893, 304-313 (2000).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。1893，304--313（2000；Zbl 0996.03501）
马里亚纽拉州Dezani-Ciancaglini（编辑）；朱塞佩·隆戈（编辑）；乔纳森·塞尔丁。（编辑）

特刊：Lambda-calculus and logic，以纪念罗杰·欣德利。 （英语） Zbl 0930.00009

数学。结构。计算。科学。 9，第4期，321-522（1999）.
MSC公司：00B15号机组 03-06 68-06 00B30型 68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}（编辑）等，《数学》。结构。计算。科学。9，第4号，321--522（1999；Zbl 0930.00009）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；乌戈·德利古罗

交集类型、\（\lambda \）-模型和Böhm树。 （英语） Zbl 0946.03016号

Takahashi，Masako（编辑）等，类型和证明理论。基于1997年9月在日本东京举行的研讨会。东京：日本数学学会。MSJ会员。2, 45-97 (1998).
审核人：安德里亚·坎蒂尼（佛罗伦萨）
MSC公司：03B40型 03-02
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，MSJ成员。2、45-97（1998年；Zbl 0946.03016）
卡东，费利斯；马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗

结合类型学科。 （英语） Zbl 0919.03028号

1992年8月3日至8日，阿根廷巴伊亚·布兰卡，第九届拉丁美洲数理逻辑研讨会论文集。第2部分。《巴希亚·布兰卡：南方国立大学》，《Notas Logica Mat.39，31-70》（1994年）。
MSC公司：03B70号 第68季度55 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{F.Cardone}等人，《第九届拉丁美洲数理逻辑研讨会论文集》，巴伊亚·布兰卡，阿根廷，1992年8月3-8日。第2部分。巴伊亚·布兰卡：南民族大学。31-70（1994；Zbl 0919.03028）
马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗；阿道夫·皮佩尔诺

并发\（\lambda\）演算的完全抽象语义。 （英语） Zbl 0942.03509号

Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。789, 16-35 (1994).
MSC公司：03B40型 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。789，16-35（1994；Zbl 0942.03509）
佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini

交集和并集类型。 （英语） Zbl 1493.68080号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 651-674 (1991).
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}和\textit{M.Dezani-Ciancaglini}，莱克特。注释计算。科学。526651-674（1991年；Zbl 1493.68080）
全文： 内政部
德扎尼·西安卡里尼（Dezani-Ciancaglini），马里安戈拉（Mariangola）；弗朗索瓦·埃尔明

正规形式的极大幺半群。 （英语） Zbl 0527.03002号

安.社会.数学。政策。，序列号。四、 芬丹。信息。 5, 129-141 (1982).
MSC公司：03B40型 03B15号机组 第三天65
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}和\textit{F.Ermine}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.5，129--141（1982；Zbl 0527.03002）
塞尔丁，J.P。（编辑）；辛德利，J.R。（编辑）
[塞尔丁，J.P。；J.T.卡恩斯。；M.W.邦德。；艾泽尔，P。；费弗曼，S。；吉尔摩，P.C。；惠誉，F.B。；库齐切夫（A.S.Kuzichev）。；利维，J.J。；Klop，J.W。；华兹华斯，C.P。；Böhm，C。；G·米施克。；维瑟，A。；巴伦德雷格特，H。；科曼斯，K。；朱塞佩·隆戈；桑奇斯，L.E。；普洛金，G.D。；J·兰贝克。；D.S.斯科特。；R.O.甘地。；西澳州霍华德。；J·迪勒。；D.梅雷迪斯。；R·斯塔特曼。；M.科波。；Dezani-Ciancaglini，M。；维尼里，B。；波廷格，G。；德布鲁因，N.G。]

致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 （英语） Zbl 0469.03006号

伦敦等：学术出版社，Harcourt Brace Jovanovich的子公司，出版商。二十五、 606页，26.60英镑；$64.00 (1980).
MSC公司：03B40型 03-06 03-02 01A70号 03A05号 18日第15天
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件