The following pages link to Jumbo λ-Calculus (Q3591403):
Displaying 5 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- (Q5079745) (← links)
- (Q5119393) (← links)