编辑配置文件（在新选项卡中打开） Jonas Pilgaard凯撒 合著者距离 作者ID： 凯泽·乔纳斯·皮尔加德 发布日期： 乔纳斯·凯撒;Jonas Pilgaard凯撒 已编制索引的文档： 4出版物自2000年起 合著者： 5位合著者具有3联合出版物 145位合作作者 全部的 前5名合著者 0 单作者的 1 亚历山大·科赫。 1 沃尔特·克雷默 1 医学硕士利瓦尼。 1 卡斯珀·塞尔玛·佩德森 1 碧姬·品特卡 1 格特·斯莫尔卡 系列 1 经济学快报 1 游戏 领域 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数理逻辑与基础（03-XX） 1 统计学（62-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物已被引用1中的时间1文件 引用人▼ 年份▼ 关联系统F和（lambda 2）：Coq、Abella和Beluga的案例研究。 Zbl 1434.03030号 乔纳斯·凯撒;碧姬·品特卡;格特·斯莫尔卡 1 2017 关联系统F和\（\lambda 2\）：Coq、Abella和Beluga的案例研究。 Zbl 1434.03030号 乔纳斯·凯撒;碧姬·品特卡;格特·斯莫尔卡 1 2017 1位作者引用 1 戴尔·艾伦·米勒 连载1篇 1 自动推理杂志 在2个字段中引用 1 数理逻辑与基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文