Types, potency, and idempotency (Q5178032)
From MaRDI portal
scientific article; zbMATH DE number 6413043
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Types, potency, and idempotency |
scientific article; zbMATH DE number 6413043 |
Statements
Types, potency, and idempotency (English)
0 references
9 March 2015
0 references
complexity
0 references
idempotence
0 references
intersection types
0 references
normalization
0 references
proofnet
0 references
type inference
0 references
