The following pages link to Theoretical Computer Science (Q5395064):
Displaying 4 items.
- Kripke models for classical logic (Q636371) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)