Grokking the Sequent Calculus (Functional Pearl)

dc.contributor.author	Binder, David
dc.contributor.author	Tzschentke, Marco
dc.contributor.author	Müller, Marius
dc.contributor.author	Ostermann, Klaus
dc.date.accessioned	2025-01-29T07:44:33Z
dc.date.available	2025-01-29T07:44:33Z
dc.date.issued	2024-08-15
dc.identifier.uri	http://hdl.handle.net/10900/161283
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3674639	de_DE
dc.subject.ddc	004	de_DE
dc.title	Grokking the Sequent Calculus (Functional Pearl)	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	395 - 425	de_DE
utue.personen.roh	Binder, David
utue.personen.roh	Tzschentke, Marco
utue.personen.roh	Müller, Marius
utue.personen.roh	Ostermann, Klaus
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP	de_DE
dcterms.isPartOf.ZS-Volume	250	de_DE