Pages that link to "Item:Q5389138"
From MaRDI portal
The following pages link to THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F (Q5389138):
Displaying 8 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- The subtyping problem for second-order types is undecidable. (Q1400717) (← links)
- The underdetermination of typings (Q1405827) (← links)
- Type inference problems: A survey (Q3976029) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)