Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册让一个帐户创建一个包含出版物列表的个人资料,标记和查看您的相关作品,并与您的合著者共享书目。
尼科洛·维尔特里,尼尔斯·范德魏德。Agda中通过大小类型的保护递归。在赫尔曼·杰弗斯,编辑器,第四届计算和扣除形式结构国际会议,2019年6月24日至30日,FSCD 2019,德国多特蒙德。第131卷,共页LIPIcs公司达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息,2019 [美国国防部]
缺少摘要。