Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

From MaRDI portal

Publication:6462427

Jump to:navigation, search

arXiv2312.03426MaRDI QIDQ6462427

Daniel Méry, Tim S. Lyon, Dominique Larchey-Wendling, Didier Galmiche, Agata Ciabattoni, Revantha Ramanayake, Nicola Olivetti

Publication date: 6 December 2023

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6462427&oldid=36163181"