帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 （英语） 兹比尔1468.68057 J.汽车。推理 63，第4号，813-855（2019）.MSC公司：68甲18 03楼52 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Baillot｝等人，J.Autom。推理63，No.4，813--855（2019；Zbl 1468.68057） 全文： 内政部 哈尔
乌戈·达尔拉戈;查尔斯·格雷洛伊斯 通过一元仿射大小的键入进行概率终止。 （英语） 兹比尔1485.68045 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 393-419 (2017).MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{C.Grellois}，莱克特。注释计算。科学。10201、393--419（2017；Zbl 1485.68045） 全文： 内政部 arXiv公司 哈尔