Eintrag weiter verarbeiten
Supernominal Datatypes and Codatatypes : Invited Presentation at the Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice: Invited Presentation at the F...
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Proceedings in Theoretical Computer Science, 332, 2021 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |