• Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213
• Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendusedSaabas, Ando2008 https://www.ester.ee/record=b2431341*est
• Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
• Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooriaWan, Cheng-Syuan2025 https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392 https://www.ester.ee/record=b5752421*est https://doi.org/10.23658/taltech.43/2025
• A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusestVeltri, Niccolo2017 https://digi.lib.ttu.ee/i/?7631