The following pages link to Essential and relational models (Q5269000):
Displayed 7 items.
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization (Q276268) (← links)
- (Q4580327) (← links)
- (Q4580329) (← links)
- (Q5076060) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5856410) (← links)
- (Q6079229) (← links)