The different shades of infinite session types (Q6141781)
From MaRDI portal
scientific article; zbMATH DE number 7793037
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The different shades of infinite session types |
scientific article; zbMATH DE number 7793037 |
Statements
The different shades of infinite session types (English)
0 references
23 January 2024
0 references
infinite types
0 references
recursive types
0 references
session types
0 references
automata and formal language theory
0 references
