Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation

Autor(en):

Schuster, Philipp; Müller, Marius; Ostermann, Klaus; Brachthäuser, Jonathan Immanuel

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages (2025-04-09), Bd. 9, H. OOPSLA1, S. 1746 - 1773

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: