Jakl, Tomáš; Marsden, Dan; Shah, Nihil A categorical account of composition methods in logic (extended version). arXiv:2405.06664 Preprint, arXiv:2405.06664 [cs.LO] (2024). × Cite Format Result Cite Full Text: arXiv OA License
Jakl, Tomáš; Marsden, Dan; Shah, Nihil A categorical account of composition methods in logic. arXiv:2304.10196 Preprint, arXiv:2304.10196 [cs.LO] (2023). × Cite Format Result Cite Full Text: arXiv OA License
Jakl, Tomáš; Marsden, Dan; Shah, Nihil A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. arXiv:2205.05387 Preprint, arXiv:2205.05387 [cs.LO] (2022). × Cite Format Result Cite Full Text: arXiv OA License
Jakl, Tomáš; Marsden, Dan; Shah, Nihil Generalizations of Bilinear Maps – Technical Report. arXiv:2205.05382 Preprint, arXiv:2205.05382 [math.CT] (2022). × Cite Format Result Cite Full Text: arXiv OA License