Observability for Pair Pattern Calculi (Q5277835)
From MaRDI portal
scientific article; zbMATH DE number 6744149
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observability for Pair Pattern Calculi |
scientific article; zbMATH DE number 6744149 |
Statements
12 July 2017
0 references
solvability
0 references
pattern calculi
0 references
intersection types
0 references
inhabitation
0 references
Observability for Pair Pattern Calculi (English)
0 references
