Pages that link to "Item:Q2277244"
From MaRDI portal
The following pages link to The undecidability of the second order predicate unification problem (Q2277244):
Displaying 3 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)