痢疾，康斯坦蒂诺;吉塞佩·普里梅罗 J-Calc：直觉证明逻辑的类型化lambda演算。 （英文） Zbl 1337.03023号 de Paiva，Valeria（ed.）等人，《直觉模态逻辑与应用第六次研讨会论文集》（IMLA 2013），联合2013年UNILOG，巴西里约热内卢，2013年4月7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记300，71-87（2014）。MSC公司：03B40型 03B42号 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Pouliasis}和\textit{G.Primiero}，电子。注释Theor。计算。科学。300、71——87（2014年；Zbl 1337.03023） 全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝 在类型理论逻辑框架中表示模型理论。 （英文） Zbl 1291.03068号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，49-65（2009）。MSC公司：03B70号 03B10号机组 03C99号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Horozal｝和\textit｛F.Rabe｝，电子。注释Theor。计算。科学。256、49-65（2009年；Zbl 1291.03068） 全文： 内政部 OA许可证