迪莉娅·凯斯纳;丹尼尔·文图拉 用于集中直觉演算的资源感知语义。 （英语） 兹比尔1407.68273 数学。结构。计算。科学。 29，第1期，93-126（2019）.MSC公司：68问题55 03B20型 03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{D.Ventura}，数学。结构。计算。科学。29，第1号，93-126（2019；Zbl 1407.68273） 全文： 内政部
迪莉娅·凯斯纳;皮埃尔小瓶 类型作为经典自然演绎的资源。 （英语） Zbl 1434.03053号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第24条，第17页（2017年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{P.小瓶}，LIPIcs——莱布尼茨国际程序。通知。84，第24条，第17页（2017年；兹bl 1434.03053） 全文： 内政部