Towards a logic for union types (Q4903724)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6128574
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards a logic for union types |
scientific article; zbMATH DE number 6128574 |
Statements
Preface (English)
0 references
24 January 2013
0 references
intersection and union types
0 references
intersection logics
0 references
kits
0 references
molecules
0 references
0.8043988943099976
0 references
0.8041254281997681
0 references
0.7778371572494507
0 references
0.7741318345069885
0 references
