吉尔卡·马西克;马克西姆·安布拉德;菲利普·德格罗特 引入\（\llparentaris\lambda\rrparentaris \），一种用于有效计算的\（\lambda\）-演算。 （英语） Zbl 1497.68095号 西奥。计算。科学。 869, 108-155 (2021).MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}等人，Theor。计算。科学。869108-155（2021年；Zbl 1497.68095） 全文： 内政部
吉尔卡·马西克;马克西姆·安布拉德 介绍自然语言语义的效果演算和处理程序。 （英语） Zbl 1478.03060号 Annie Foret（编辑）等人，《形式语法》。2015年8月，第20届和第21届国际会议，FG 2015，西班牙巴塞罗那。修订了选定的论文。2016年8月，意大利博赞，FG 2016。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9804, 257-272 (2016).MSC公司：03B65号 18立方厘米 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}和\textit{M.Amblard}，莱克特。注释计算。科学。9804257--272（2016；Zbl 1478.03060） 全文： 内政部 arXiv公司