The following pages link to Programming Languages and Systems (Q5899010):
Displaying 4 items.
- 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)
- Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)