Session types = intersection types + union types (Q4964693)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
scientific article; zbMATH DE number 7317222
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Session types = intersection types + union types |
scientific article; zbMATH DE number 7317222 |
Statements
3 March 2021
0 references
0.8365411162376404
0 references
0.7864485383033752
0 references
0.7789011001586914
0 references
0.7779318690299988
0 references
0.7770891189575195
0 references
