Strict intersection types for the lambda calculus (Q2875057)
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: Strict intersection types for the lambda calculus |
scientific article; zbMATH DE number 6329952
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strict intersection types for the lambda calculus |
scientific article; zbMATH DE number 6329952 |
Statements
13 August 2014
0 references
\(\lambda\)-calculus
0 references
strict intersection types
0 references
approximation
0 references
filter semantics
0 references
normalization
0 references
principal pairs
0 references
0.9546052
0 references
0.9532707
0 references
0.95281875
0 references
0.94437456
0 references
0 references
0.9356605
0 references
0 references
0 references
Strict intersection types for the lambda calculus (English)
0 references
