Introduction and elimination, left and right

Autor(en):

Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim; Downen, Paul

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages (2022-08-31), Bd. 6, S. 438–465

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: