Separating Sessions Smoothly (Q6135771)
From MaRDI portal
scientific article; zbMATH DE number 7731931
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separating Sessions Smoothly |
scientific article; zbMATH DE number 7731931 |
Statements
Separating Sessions Smoothly (English)
0 references
26 August 2023
0 references
21 August 2023
0 references
session types
0 references
hypersequents
0 references
linear lambda calculus
0 references
