Grokking the Sequent Calculus (Functional Pearl)

Autor(en):

Binder, David; Tzschentke, Marco; Müller, Marius; Ostermann, Klaus

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP (2024-08-15), Bd. 250, S. 395 - 425

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: