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

dc.contributor.author	Schuster, Philipp
dc.contributor.author	Müller, Marius
dc.contributor.author	Ostermann, Klaus
dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.date.accessioned	2025-05-02T11:04:27Z
dc.date.available	2025-05-02T11:04:27Z
dc.date.issued	2025-04-09
dc.identifier.uri	http://hdl.handle.net/10900/164996
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3720507	de_DE
dc.subject.ddc	004	de_DE
dc.title	Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	1746 - 1773	de_DE
utue.personen.roh	Schuster, Philipp
utue.personen.roh	Müller, Marius
utue.personen.roh	Ostermann, Klaus
utue.personen.roh	Brachthäuser, Jonathan Immanuel
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages	de_DE
dcterms.isPartOf.ZS-Issue	OOPSLA1	de_DE
dcterms.isPartOf.ZS-Volume	9	de_DE