• 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
• Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6
• Formalizingπ-calculus in guarded cubical agdaVeltri, Niccolo; Vezzosi, AndreaEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
• From knowability to conjecturabilityChiffi, Daniele; Pietarinen, Ahti-VeikkoContemporary Pragmatism2020 / p. 205 - 227 https://doi.org/10.1163/18758185-01701160 https://www.scopus.com/sourceid/21100203307 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091081337&origin=resultslist&sort=plf-f&src=s&sid=76d0c5af530a2aebd9a5d9b99775767c&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22from+knowability+to+conjecturability%22%29&sl=34&sessionSearchId=76d0c5af530a2aebd9a5d9b99775767c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=CONTEMP%20PRAGMAT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000558645500006
• Peirce’s diagrammatic solutions to ‘Peirce’s Puzzle’Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 246–250 : ill https://doi.org/10.1007/978-3-030-86062-2_23 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115877007&origin=inward&txGid=413d4b1dcd757c550874fe45cbaf13df https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600023