• Boolean automata and atoms of regular languagesTamm, Hellis46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings2021 / art. 86, p. 86:1–86:13 https://doi.org/10.4230/LIPIcs.MFCS.2021.86 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115397554&origin=inward&txGid=18d7867a99cf324a18f21496268985f3
• Calling paradigms and the box calculusSanto, Jose Espırito; Pinto, Luis; Uustalu, TarmoEUTYPES-TYPES 2020 : Abstracts2020 / 2 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
• Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172138941&origin=inward&txGid=ae42bac89932d0db3273c6f40b280962
• Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100912099&origin=inward&txGid=0b8247f867578b69f043eb5e6fd83971
• Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
• Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076039926&origin=resultslist&sort=plf-f&src=s&sid=9b24b7b6b96b099e1e9afdd88e8e3155&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CALCO.2019.14%29&sl=32&sessionSearchId=9b24b7b6b96b099e1e9afdd88e8e3155&relpos=0
• A direct version of Veldman's proof of open induction on cantor space via delimited control operatorsIlik, Danko; Nakata, Keiko19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 188-201 https://doi.org/10.4230/LIPIcs.TYPES.2013.188 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907737679&origin=inward&txGid=3c9eca1096782d16b07c255d196c1cd2
• Formalizingπ-calculus in guarded cubical agdaVeltri, Niccolo; Vezzosi, AndreaEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
• A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
• Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068045398&origin=inward&txGid=d6e07206c224cb13ed521680b7153e70
• On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50
• Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071609227&origin=inward&txGid=744304a9fedf8eba5714cdb0ce382fe3
• Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
• 21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]2018 http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9
• A type-theoretic potpourri: towards final coalgebrasof accessible functorsBasold, Henning; Veltri, NiccoloEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
• A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85203523006&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CONCUR.2024.25%29&sessionSearchId=e19eefaaae2c94da6efd1164d7a1280e&relpos=0
• Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907731424&origin=inward&txGid=17140a8449c63582385a4010066b6385