The following pages link to (Q4649551):
Displaying 19 items.
- The bang calculus revisited (Q2039931) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- The spirit of node replication (Q2233421) (← links)
- The Inhabitation Problem for Non-idempotent Intersection Types (Q3190172) (← links)
- (Q3300796) (← links)
- (Q4580329) (← links)
- (Q5018484) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Types as resources for classical natural deduction (Q5111320) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Essential and relational models (Q5269000) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- (Q6079229) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
- Strong call-by-value and multi types (Q6605354) (← links)
- Light genericity (Q6629516) (← links)