Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias
Joram, Philipp
2026
https://www.ester.ee/record=b6056790*est
https://digikogu.taltech.ee/et/Item/4fd5bcfa-fada-4ae0-bc28-14e3fa580b4e
https://doi.org/10.23658/taltech.40/2026
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
Wan, Cheng-Syuan
2025
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