Compiling with the Sequent Calculus
Year: 2026
Type: article
DOI: 10.1145/3845991
Authors: Marius Müller, David Binder, Marco Tzschentke, Philipp Schuster, Klaus Ostermann, Jonathan Immanuel Brachthäuser
Institutions: University of Tübingen, University of Kent
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7210270331