Pages that link to "Item:Q3520146"
From MaRDI portal
The following pages link to Computation with classical sequents (Q3520146):
Displaying 3 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
