The following pages link to The semantics of entailment omega (Q1430899):
Displaying 8 items.
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- The Better Bubbling Lemma (Q2864214) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
