×

找到240个文档（结果1-100）

最新的 引文 关联
中田聪

可实现性模型中的并行性。 （英文） Zbl 07810571号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 292-304 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Nakata}，莱克特。注释计算。科学。13923、292--304（2023；Zbl 07810571）
全文： 内政部
傅鹏;彼得·塞林格

针对嵌套数据类型的归纳原则。 （英文） Zbl 07810568号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 244-255 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Fu}和\textit{P.Selinger}，莱克特。注释计算。科学。13923、244--255（2023；Zbl 07810568）
全文： 内政部 arXiv公司
桑德拉·阿尔维斯;迪莉娅·凯斯纳;米盖尔·拉莫斯

定量全局记忆。 （英文） 兹伯利07810557

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 53-68 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Alves}等人，Lect。注释计算。科学。13923、53-68（2023；Zbl 07810557）
全文： 内政部 arXiv公司
聪，又有;浅井，肯尼奇

通过分隔控制运算符了解代数效果处理程序。 （英文） Zbl 1528.68060号

Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 59-79 (2023).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Y.Cong}和\textit{K.Asai}，莱克特。注释计算。科学。13401、59--79（2023年；Zbl 1528.68060）
全文： 内政部
马西耶·巴斯卡;Dariusz Biernacki

自动化高阶计算器和抽象机器之间的函数通信。 （英文） Zbl 1521.68033号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 38-59 (2022).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Buszka}和\textit{D.Biernacki}，莱克特。注释计算。科学。13290，38-59（2022；Zbl 1521.68033）
全文： 内政部 arXiv公司
扬尼克·福斯特

参数丘奇的论文：无选择的综合可计算性。 （英文） Zbl 07551712号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137，70-89（2022）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}，莱克特。注释计算。科学。13137，70-89（2022；Zbl 07551712）
全文： 内政部 arXiv公司
迪莉娅·凯斯纳;佩罗特，洛伊奇;丹尼尔·文图拉

节点复制的精神。 （英文） Zbl 07410433号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 344-364 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛D.Kesner｝等人，Lect。注释计算。科学。12650344--364（2021；Zbl 07410433）
全文： 内政部
克劳迪娅·法吉安;Giulio Guerrieri，朱利奥

通过线性逻辑在按名称和按值计算中进行因式分解。 （英文） Zbl 07410426号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 205-225 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Faggian}和\textit{G.Gueriari}，莱克特。注释计算。科学。12650205-225（2021；Zbl 07410426）
全文： 内政部 arXiv公司
菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西

信号流图的上下文等效。 （英文） 兹比尔07250933

Goubault Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 77-96 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。12077、77--96（2020；Zbl 07250933）
全文： 内政部 arXiv公司
亚历山德拉·迪·皮耶罗

概率（λ）演算的一种类型理论。 （英文） Zbl 1440.68043号

Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。12065, 86-102 (2020).
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Pierro}，莱克特。注释计算。科学。12065，86-102（2020；Zbl 1440.68043）
全文： 内政部
扬尼克·福斯特;费边·昆泽

从Coq到按调用值lambda演算的有时间限制的认证提取。 （英文） Zbl 07649966号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第17条，第19页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}和\textit{F.Kunze}，LIPIcs——莱布尼茨国际程序。通知。141，第17条，第19页（2019年；Zbl 07649966）
全文： 内政部 arXiv公司
圣埃斯皮里托·何塞;路易斯·平托;塔尔莫乌斯塔卢

模态嵌入和调用范式。 （英文） Zbl 1528.03123号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第18条，第20页（2019年）。
MSC公司：03B40型 03B45号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Espírito Santo}等人，LIPIcs——莱布尼茨国际程序。通知。131，第18条，第20页（2019年；Zbl 1528.03123）
全文： 内政部
贝尼亚米·阿卡托利

重新审视\（\lambda \）-演算。 （英文） Zbl 1528.68054号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第1条，第20页（2019年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Accattoli｝，LIPIcs——莱布尼茨国际会议记录。通知。131，第1条，第20页（2019年；Zbl 1528.68054）
全文： 内政部
Giulio Guerrieri，朱利奥

针对按调用值lambda-calculus中执行时间的语义度量。 （英文） Zbl 07526055号

Pagani，Michele（编辑）等人，第十二届计算模型发展研讨会和第九届十字路口类型和相关系统研讨会论文集，2018年DCM和2018年ITRS，英国牛津，2018年7月8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29357-72（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Guerreri}，电子。程序。西奥。计算。科学。（EPTCS）293，57-72（2019；兹bl 07526055）
全文： arXiv公司 链接
Giulio Guerrieri，朱利奥;朱利奥·曼佐内托

bang演算和两个Girard的翻译。 （英文） Zbl 1486.03105号

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29215-30（2019年）。
MSC公司：03楼52 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.格雷里}和\textit{G.Manzonetto}，电子。程序。西奥。计算。科学。（EPTCS）292，15--30（2019；Zbl 1486.03105）
全文： arXiv公司 链接
保罗·唐恩;泽娜·阿里奥拉。

超越极性：走向多学科的中间语言与共享。 （英文） Zbl 1528.68062号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第21条，第23页（2018）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Downen}和\textit{Z.M.Ariola}，LIPIcs——莱布尼茨国际程序。通知。119，第21条，第23页（2018；Zbl 1528.68062）
全文： 内政部
马西耶·本德考斯基;皮埃尔·莱斯坎

计算环境和闭包数。 （英文） Zbl 1462.68020号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第11条，第16页（2018年）。
MSC公司：68甲18 03B40型 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{M.Bendkowski}和\textit{P.Lescanne}，LIPIcs——莱布尼茨国际程序。通知。108，第11条，第16页（2018；Zbl 1462.68020）
全文： 内政部
亚历杭德罗·迪亚斯·卡洛;吉多·马丁内斯

概率重写中的合并。 （英文） Zbl 1433.68189号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 115-131 (2018).
MSC公司：2012年第68季度 03B40型 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{G.Martínez}，电子。注释Theor。计算。科学。338115-131（2018年；兹比尔1433.68189）
全文： 内政部 arXiv公司
丹尼尔·希勒斯特罗姆;萨姆·林德利;罗伯特·艾奇;Sivaramakrishnan，K.C。

效果处理程序的连续传递样式。 （英文） Zbl 1441.68017号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第18条，第19页（2017年）。
MSC公司：68甲18 03B40型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Hillerström}等人，LIPIcs——莱布尼茨国际程序。通知。84，第18条，第19页（2017；兹bl 1441.68017）
全文： 内政部
杰伊，巴里

作为\（\lambda \）SF演算中的数据结构的程序。 （英文） Zbl 1394.68064号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，221-236（2016）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Jay}，电子。注释Theor。计算。科学。325、221--236（2016；Zbl 1394.68064）
全文： 内政部
弗雷、乔纳斯

CPS目标语言中的经典可实现性。 （英文） Zbl 1394.68060号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，111-126（2016）。
MSC公司：68甲18 03B20型 03B40型 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{J.Frey}，电子。注释Theor。计算。科学。325111--126（2016；Zbl 1394.68060）
全文： 内政部
靖国神社;津田，武士;直纪小林

使用动态资源创建验证高阶并发程序。 （英文） Zbl 1483.68213号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第10017页，第335-353页（2016年）。
MSC公司：60年第68季度 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{K.Yasukata}等人，Lect。注释计算。科学。10017、335--353（2016；Zbl 1483.68213）
全文： 内政部
贝尼亚米·阿卡托利;Giulio Guerrieri，朱利奥

打开按值调用。 （英文） Zbl 1483.68063号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第10017206-226页（2016年）。
MSC公司：68甲18 03B40型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}和\textit{G.Guerriri}，莱克特。注释计算。科学。10017、206-226（2016；Zbl 1483.68063）
全文： 内政部 arXiv公司 哈尔
迪莉娅·凯斯纳

通过类型推理呼叫需求。 （英文） Zbl 1475.68064号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 424-441 (2016).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Kesner}，莱克特。注释计算。科学。9634，424--441（2016；Zbl 1475.68064）
全文： 内政部
大卫·萨贝尔;曼弗雷德·施密特·沙乌

观察pi-calculus的成功。 （英文） Zbl 1428.68206号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛D.Sabel｝和\textit｛M.Schmidt-Schauß｝，OASIcs-OpenAccess系列。通知。46、31-46（2015年；Zbl 1428.68206）
全文： 内政部
Giulio Guerrieri，朱利奥

呼叫值lambda-calculus中的头部减少和归一化。 （英文） Zbl 1428.68100号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 3-17 (2015).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.Guerreri}，OASIcs--开放存取服务器。通知。46、3-17（2015年；Zbl 1428.68100）
全文： 内政部
大卫·萨贝尔

像素中的结构重写。 （英文） Zbl 1428.68205号

Schmidt Schauß，Manfred（ed.）等人，第一届程序转换和评估重写技术国际研讨会，WPTE’14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Sabel}，OASIcs--OpenAccess服务器。通知。40、51-62（2014年；Zbl 1428.68205）
全文： 内政部
奥利维尔·丹维;雅各布·约翰森

从最外层的约简语义到抽象机器。 （英文） Zbl 1453.68045号

Gupta，Gopal（编辑）等人，《基于逻辑的程序综合与转换》。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 91-108 (2014).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{O.Danvy}和\textit{J.Johannsen}，莱克特。注释计算。科学。8901、91--108（2014；Zbl 1453.68045）
全文： 内政部
川谷义彦;大辅木村

由共同归纳和控制操作符以指名形式归纳。 （英文） Zbl 1471.68069号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013年）。
MSC公司：68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kakutani}和\textit{D.Kimura}，电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013；Zbl 1471.68069）
全文： arXiv公司 链接
杰伦、布拉姆;赫尔曼·格乌弗斯

连续微积分。 （英文） Zbl 1471.68062号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）12766-85（2013）。
MSC公司：68号30 68甲18 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Geron}和\textit{H.Geuvers}，电子。程序。西奥。计算。科学。（EPTCS）127、66--85（2013；Zbl 1471.68062）
全文： arXiv公司 链接
马·戈扎塔·比尔纳卡;Dariusz Biernacki;塞尔盖·伦格利特;马雷克·马特佐克

用控制运算符证明系统F的评估终止。 （英文） Zbl 1471.68055号

de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127，15-29（2013）。
MSC公司：68号30 03B40型 03B70号 03楼52 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}等人，《电子》。程序。西奥。计算。科学。（EPTCS）127，15--29（2013；Zbl 1471.68055）
全文： arXiv公司 链接
亚历杭德罗·迪亚斯·卡洛;朱利奥·曼佐内托;米歇尔·帕加尼

线性逻辑类型规程中的调用值非确定性。 （英文） Zbl 1434.68083号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 164-178 (2013).
MSC公司：68甲18 03B40型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit｛A.Díaz Caro｝等人，Lect。注释计算。科学。7734、164--178（2013年；Zbl 1434.68083）
全文： 内政部 arXiv公司
马提亚斯·普奇

证据，倒置。自然演绎和后继演算之间的函数对应。 （英文） Zbl 1427.03034号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 365-380 (2013).
MSC公司：03B40型 03B20型 03B50号 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Puech}，莱克特。注释计算。科学。8301365-380（2013年；兹比尔1427.03034）
全文： 内政部
芭芭拉·佩蒂特

带构造函数的lambda演算的连续模型。 （英文） Zbl 1342.68053号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286337-350（2012）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Petit}，电子。注释Theor。计算。科学。286337-350（2012年；Zbl 1342.68053）
全文： 内政部
玛丽·杜季

超强度的扩展逻辑。 （英文） 兹伯利1314.03031

Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学课堂讲稿7260268-290（2012）。
MSC公司：03B60号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Duí}，莱克特。注释计算。科学。7260，268--290（2012；Zbl 1314.03031）
全文： 内政部
安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇

type:type的部分类型检查算法。 （英文） 兹比尔1291.68106

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，3-17页（2011年）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Abel}和\textit{T.Altenkirch}，电子。注释Theor。计算。科学。229，第5、3-17号（2011；Zbl 1291.68106）
全文： 内政部
卡尔·波拉德

逻辑语法中的隐蔽动作。 （英文） Zbl 1339.03025号

Pogodalla，Sylvain（编辑）等人，《逻辑与语法》。在阿兰·勒科姆60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-21489-9/pbk）。计算机科学课程讲稿6700。人工智能课堂讲稿，17-40（2011）。
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{C.Pollard}，莱克特。注释计算。科学。6700,17--40（2011年；Zbl 1339.03025）
全文： 内政部
泽娜·阿里奥拉。;雨果·赫贝林;亚历克西斯·索林

经典的召唤需求和二元性。 （英文） Zbl 1331.68041号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690，27-44（2011）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.M.Ariola}等人，Lect。注释计算。科学。6690，27-44（2011；Zbl 1331.68041）
全文： 内政部
莫格尔贝里，拉斯穆斯·埃杰勒斯

本地存储的标称关系模型。 （英文） Zbl 1342.68116号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265403-421（2010）。
MSC公司：第68页，共15页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Mögelberg}，电子。注释Theor。计算。科学。265403--421（2010年；Zbl 1342.68116）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件