Programming with Symmetric Data and Codata Types
Binder, David ; Ostermann, Klaus 2024 Universitätsbibliothek Tübingen
- Link zu diesem Datensatz
- https://d-nb.info/1348552212
- Titel
- Programming with Symmetric Data and Codata Types
- Art des Inhalts
- Monographie
- Verfassangaben
- David Binder ; Betreuer: Klaus Ostermann
- Autor(en)
-
- Binder, David
- Ostermann, Klaus
- Verlag
- Tübingen : Universitätsbibliothek Tübingen [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1589379
- Sprache
- eng
- Schlagwörter
- Stand
- 23.12.2025 12:50
- Im Katalog seit
- 07.03.2026