Session types = intersection types + union types (Q4964693)
From MaRDI portal
!
WARNING
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
