• 斯坦因D和Staton S公司. 具有精确条件的概率程序的组合语义第36届ACM/IEEE计算机科学逻辑年会论文集。(1-13).

    https://doi.org/10.109/LICS52264.2021.9470552

  • 坎马尔O,征税P,苔藓S和定子S. 用于完整地面参考电池的单子第32届ACM/IEEE计算机科学逻辑年会论文集。(1-12).

    /doi/10.5555/33299995.3330044

  • 拉里五世和比克福德M. 直觉主义的名义探索第五届ACM SIGPLAN认证程序和证明会议记录。(130-141).

    https://doi.org/10.1145/2854065.2854077

  • Lösch S公司和皮特斯A. （2014年）。 具有名义Scott域的指称语义.美国医学会杂志.61:4.(1-46).在线发布日期：2014年7月1日.

    https://doi.org/10.1145/2629529

  • 本顿N,霍夫曼M和尼加姆五世. （2014年）。 抽象效果和证明相关的逻辑关系.ACM SIGPLAN通知.49:1.(619-631).在线发布日期：2014年1月13日.

    https://doi.org/10.1145/2578855.2535869

  • 本顿N,霍夫曼M和尼加姆五世. 抽象效果和证明相关的逻辑关系第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。（619-631）.

    https://doi.org/10.1145/25535838.2535869

  • Degano P公司,法拉利G和梅泽蒂G. 走向标称无上下文模型检查第18届自动化实施和应用国际会议记录。(109-121).

    https://doi.org/10.1007/978-3-642-39274-0_11

  • Tzevelekos N公司和格里戈尔R. 历史登记自动机第16届软件科学和计算结构基础国际会议论文集。(17-33).

    https://doi.org/10.1007/978-3-642-37075-5_2

  • Lösch S公司和皮特斯A. (2013). 标称Scott域的完全抽象.ACM SIGPLAN通知.48:1.(3-14).在线发布日期：2013年1月23日.

    https://doi.org/10.1145/2480359.2429073

  • Lösch S公司和皮特斯A. 标称Scott域的完全抽象第40届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(3-14).

    https://doi.org/10.1145/2429069.2429073

  • 杰弗里A. 依赖类型的Web客户端应用程序第十五届声明性语言实践方面国际研讨会论文集——第7752卷。(228-243).

    https://doi.org/10.1007/978-3-642-45284-0_16

  • Kozen D公司. (2012). 新建.理论计算机科学电子笔记（ENTCS）.286.(17-42).在线发布日期：2012年9月1日.

    https://doi.org/10.1016/j.entcs.2012.08.03

  • Tzevelekos N公司. (2012). 带有状态的简单语言中的程序等价.计算机语言、系统和结构.38:2.（181-198年）.在线发布日期：2012年7月1日.

    https://doi.org/10.1016/j.cl.2012.02.002

  • 赫米达C和坦能R. (2012). 单体不定项和可能世界的范畴.理论计算机科学.430.(3-22).在线发布日期：2012年4月1日.

    https://doi.org/10.1016/j.tcs.2012.01.001

  • 库尔茨A,铃木T和Tuosto E公司. 关于带活页夹的标称正则语言第15届软件科学和计算结构基础国际会议论文集。(255-269).

    https://doi.org/10.1007/978-3-642-28729-9_17

  • 珍妮·J. 胶囊和封口逻辑和程序语义。(106-123).

    /doi/10.5555/2340820.2340829

  • 库塔瓦斯五世,征税P和苏米岛E. (2011). 从应用到环境模拟.理论计算机科学电子笔记（ENTCS）.276.(215-235).在线发布日期：2011年9月1日.

    https://doi.org/10.1016/j.entcs.2011.09.023

  • 加巴伊M和Ciancia五世. 带有名称的痕迹集的新鲜度和名称限制第14届软件科学和计算结构基础国际会议论文集：欧洲软件理论与实践联合会议的一部分。(365-380).

    /doi/10.5555/1987171.1987202

  • Tzevelekos N公司. 新注册自动机第38届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(295-306).

    https://doi.org/10.1145/1926385.1926420

  • Tzevelekos公司N. (2011). 新鲜寄存器自动机.ACM SIGPLAN通知.46:1.(295-306).在线发布日期：2011年1月26日.

    https://doi.org/10.1145/1925844.1926420

  • 霍夫曼M和Schöpp U公司. (2010). 带迭代的纯指针程序.ACM计算逻辑事务.11:4.（1-23）.在线发布日期：2010年7月1日.

    https://doi.org/10.1145/1805950.1805956

  • 艾哈迈德·A,附录A,理查兹C,斯瓦迪语K,Tan G（切线G）和王D. (2010). 类型化汇编语言的语义基础.程序设计语言与系统学报.32:3.(1-67).在线发布日期：2010年3月1日.

    https://doi.org/10.1145/1709093.1709094

  • 皮特斯A. 标称系统T第37届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(159-170).

    https://doi.org/10.1145/1706299.1706321

  • 皮特斯A. (2010). 标称系统T.ACM SIGPLAN通知.45:1.(159-170).在线发布日期：2010年1月2日.

    https://doi.org/10.1145/17078011.706321

  • 加沙奈尔T和汉克斯五世. (2009). OX传感器存储.ACM SIGPLAN通知.44:9.(203-214).在线发布日期：2009年8月31日.

    https://doi.org/10.1145/1631687.1596581

  • 奈斯G,德雷尔D和罗斯伯格A. (2009). 非参数参数.ACM SIGPLAN通知.44:9.(135-148).在线发布日期：2009年8月31日.

    https://doi.org/10.1145/1631687.1596572

  • 加沙T和汉克斯五世. OX传感器存储第14届ACM SIGPLAN功能编程国际会议记录。(203-214).

    https://doi.org/10.1145/1596550.1596581

  • 内斯·G,德雷尔D和罗斯伯格A. 非参数参数第14届ACM SIGPLAN功能编程国际会议记录。(135-148).

    https://doi.org/10.1145/1596550.1596572

  • 赫米达C和坦能R. (2009). 单面指数与可能世界的分类.理论计算机科学电子笔记（ENTCS）.249.(39-60).在线发布日期：2009年8月1日.

    https://doi.org/10.1016/j.entcs.2009.07.083

  • Birkedal L公司,斯特夫林K和Thamsborg J公司. 引用和递归类型的关系参数第四届语言设计与实现类型国际研讨会论文集。(91-104).

    https://doi.org/10.1145/1481861.1481873

  • 切尼J. (2009). 一种简单的名词类型理论.理论计算机科学电子笔记（ENTCS）.228.(37-52).在线发布日期：2009年1月1日.

    https://doi.org/10.1016/j.entcs.2008.12.115

  • 莱维P. (2008). 被视为有益的全球国家.理论计算机科学电子笔记（ENTCS）.218.(241-259).在线发布日期：2008年10月1日.

    https://doi.org/10.1016/j.entcs.2008.10.015

  • 霍夫曼M和Schöpp U公司. 带迭代的纯指针程序第22届计算机科学逻辑国际研讨会论文集。(79-93).

    https://doi.org/10.1007/978-3-540-87531-4_8

  • 朗利J. 用高级算子解释局部计算效应《第四届欧洲可计算性会议论文集：逻辑和算法理论》。(389-402).

    https://doi.org/10.1007/978-3-540-69407-6_42

  • 格罗曼D和米库兰M. (2008). 有向双图的代数.理论计算机科学电子笔记（ENTCS）.203:1.(49-63).在线发布日期：2008年3月1日.

    https://doi.org/10.1016/j.entcs.2008.03.033

  • 阿卡尔U,艾哈迈德·A和Blume M公司. (2008). 强制自调整计算.ACM SIGPLAN通知.43:1.(309-322).在线发布日期：2008年1月14日.

    https://doi.org/10.1145/1328897.1328476

  • 阿卡尔U,艾哈迈德·A和Blume M公司. 强制自调整计算第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(309-322).

    https://doi.org/10.1145/1328438.1328476

  • 苏米岛E和皮尔斯B. (2007). 类型抽象和递归的互模拟.美国医学会杂志.54:5.（26-es）.在线发布日期：2007年10月1日.

    https://doi.org/10.1145/1284320.1284325

  • 赫米达C和坦能R. (2007). 类Algol语言可能世界语义的fibrational框架.理论计算机科学.375：1-3.(3-19).在线发布日期：2007年4月20日.

    https://doi.org/10.1016/j.tcs.2006.12.025

  • 玻尔N和Birkedal L公司. 递归类型和引用的关系推理第四届亚洲编程语言与系统会议记录。(79-96).

    https://doi.org/10.1007/11924661_5

  • Aboul-Hosn K公司和Kozen D公司. 局部变量范围和带测试的kleene代数第九届计算机科学中的关系方法国际会议和第四届克莱恩代数应用国际会议的会议记录。(78-90).

    https://doi.org/10.1007/11828563_5

  • Aboul-Hosn K公司和Kozen D公司. 高阶程序的关系语义第八届程序构造数学国际会议论文集。(29-48).

    https://doi.org/10.1007/11783596_5

  • Pucella R公司. (2005). SIGACT新闻逻辑专栏14.ACM SIGACT新闻.36:4.(47-69).在线发布日期：2005年12月1日.

    https://doi.org/10.1145/107523.1107537

  • 顾毅（Gu Y）,傅Y,中F和朱H. 一种分析安全协议的通用模型第三届计算机网络安全数学方法、模型和体系结构国际会议论文集。(119-128).

    https://doi.org/10.1007/11560326_9

  • 费尔南德斯M和加巴伊M. 使用名称生成进行名义重写第七届ACM SIGPLAN声明性编程原理与实践国际会议论文集。(47-58).

    https://doi.org/10.1145/1069774.1069774.1069779

  • 杰弗里A和Rathke J公司. (2005). 完全抽象的可以测试并发对象的语义.理论计算机科学.338:1-3.(17-63).在线发布日期：2005年6月10日.

    https://doi.org/10.1016/j.tcs.2004.10.012

  • 本顿N和利珀西B. 存储标称语义中的关系推理第七届国际键入Lambda演算与应用会议记录。(86-101).

    https://doi.org/10.1007/11417170_8

  • 阿尔布拉哈姆,邦桑格M,德波尔F和斯特芬·M. 并发类演算的对象连通性和完全抽象第一届计算机理论方面国际会议论文集。(37-51).

    https://doi.org/10.1007/978-3-540-31862-0-5

  • 苏米岛E和穿孔B. 动态密封的互模拟第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(161-172).

    https://doi.org/10.1145/964001.964015

  • Sumii E公司和皮尔斯B. (2004). 动态密封的互模拟.ACM SIGPLAN通知.39:1.(161-172).在线发布日期：2004年1月1日.

    https://doi.org/10.1145/982962.964015

  • Shinwell M公司,皮特斯A和加巴伊M. (2003). FreshML公司.ACM SIGPLAN通知.38:9.(263-274).在线发布日期：2003年9月25日.

    https://doi.org/10.1145/944746.944729

  • Shinwell M公司,皮特斯A和加巴伊M. 新鲜ML第八届ACM SIGPLAN功能编程国际会议记录。(263-274).

    https://doi.org/10.1145/944705.944729

  • 轩尼诗M. (2002). π演算的完全抽象指称语义.理论计算机科学.278:1-2.(53-89).在线发布日期：2002年5月6日.

    https://doi.org/10.1016/S0304-3975(00)00331-5

  • 克拉佐拉拉F和温斯克尔G. 安全协议中的事件第八届ACM计算机和通信安全会议记录。(96-105).

    https://doi.org/10.1145/501983.501998

  • 齐利奥S. 移动进程.并行过程的建模和验证。(206-222).

    /doi/10.5555/766794.766806

  • 杰弗里A和Rathke J公司. 具有局部名称的并发ML片段的双模拟理论第15届IEEE计算机科学逻辑年度研讨会论文集。

    /doi/10.5555/788022.788999

  • 坦能R和吉卡·D. (2000). 存储抽象模型.高阶和符号计算.13:1-2.(119-129).在线发布日期：2000年4月1日.

    https://doi.org/10.1023/A:101022312623

  • 魔杖M和沙利文G. 使用基于操作的术语模型的指称语义第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(386-399).

    https://doi.org/10.1145/263699.263755

  • Ong C公司和斯图尔特C. 带控制的函数计算的Curry-Howard基础第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(215-227).

    https://doi.org/10.1145/263699.263722

  • 皮特斯A. 基于操作逻辑关系的局部变量推理第11届IEEE计算机科学逻辑年会论文集。

    /doi/10.5555/788018.788828

  • 斯塔克一世. p-演算的完全抽象域模型第11届IEEE计算机科学逻辑年会论文集。

    /doi/10.5555/788018.788811

  • 菲奥雷M,莫吉E和Sangiorgi D公司. p-演算的完全抽象模型第11届IEEE计算机科学逻辑年会论文集。

    /doi/10.5555/788018.788810