Polymorphic lambda calculus with context-free session types
Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter ; Vasconcelos, Vasco 2024 Universität
- Link zu diesem Datensatz
-
https://d-nb.info/1324307889
- Titel
-
Polymorphic lambda calculus with context-free session types
- Art des Inhalts
- Monographie
- Autor(en)
-
- Almeida, Bernardo
- Mordido, Andreia
- Thiemann, Peter
- Vasconcelos, Vasco
- Verlag
- Freiburg : Universität [2024]
- Jahr
- Erscheinungsdatum: 2024
- Zeitliche Einordnung
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- DOI
- 10.1016/j.ic.2022.104948
- Online
- https://doi.org/10.1016/j.ic.2022.104948
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
ISSN: 1090-2651
- Stand
- 09.04.2024 18:18
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag