The following pages link to Types, potency, and idempotency (Q5178032):
Displayed 12 items.
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580327) (← links)
- (Q5076060) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Essential and relational models (Q5269000) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Structural rules and algebraic properties of intersection types (Q6164466) (← links)