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

DSpace Repository

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

Author: Schuster, Philipp; Müller, Marius; Ostermann, Klaus; Brachthäuser, Jonathan Immanuel
Tübinger Autor(en):
Schuster, Philipp
Müller, Marius
Ostermann, Klaus
Brachthäuser, Jonathan Immanuel
Published in: Proceedings of the ACM on Programming Languages (2025-04-09), Bd. 9, H. OOPSLA1, S. 1746 - 1773
Verlagsangabe: ACM
Language: English
Full text: https://doi.org/10.1145/3720507
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)