Name-Passing Calculi: From Fusions to Preorders and Types (Q5271075)
From MaRDI portal
scientific article; zbMATH DE number 6738818
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Name-Passing Calculi: From Fusions to Preorders and Types |
scientific article; zbMATH DE number 6738818 |
Statements
Name-Passing Calculi: From Fusions to Preorders and Types (English)
0 references
3 July 2017
0 references
process calculus
0 references
fusions
0 references
types
0 references
subtyping
0 references
