How to think of intersection types as Cartesian products (Q1744395)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: How to think of intersection types as Cartesian products |
scientific article; zbMATH DE number 6862936
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to think of intersection types as Cartesian products |
scientific article; zbMATH DE number 6862936 |
Statements
How to think of intersection types as Cartesian products (English)
0 references
23 April 2018
0 references
lambda calculus
0 references
semigroups
0 references
representation
0 references
0.7382520437240601
0 references
0.7382203936576843
0 references
0.7231012582778931
0 references
