The following pages link to (Q4364386):
Displaying 6 items.
- Tolerant, classical, strict (Q427233) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- On bitological rigid subjects (Q2836421) (← links)
- On Absoluteness (Q3812220) (← links)
- (Q4035253) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)