Pages that link to "Item:Q3612644"
From MaRDI portal
The following pages link to Simple Saturated Sets for Disjunction and Second-Order Existential Quantification (Q3612644):
Displaying 6 items.
- Strong normalization results by translation (Q636353) (← links)
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- Type-Based Termination with Sized Products (Q3540199) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- (Q5089012) (← links)
