• Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880288390&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39212-2_28%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
• Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85165998581&origin=inward&txGid=b5207f0830a476756850b676366a5d94 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700045