桑德拉·阿尔维斯;丹尼尔·文图拉 定量弱线性化。 （英语） Zbl 07719826号 Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13572, 78-95 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{D.Ventura}，Lect。票据计算。科学。13572，78-95（2022；Zbl 07719826） 全文： 内政部
桑德拉·阿尔维斯;马里奥弗洛里多 交集类型的结构规则和代数属性。 （英语） Zbl 07719825号 Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13572, 60-77 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{M.Florido}，莱克特。票据计算。科学。13572，60-77（2022；Zbl 07719825） 全文： 内政部 arXiv公司
桑德拉·阿尔维斯;迪莉娅·凯斯纳;丹尼尔·文图拉 对模式匹配的定量理解。 （英语） Zbl 07756108号 Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020年）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108） 全文： 内政部 arXiv公司