Pages that link to "Item:Q3540198"
From MaRDI portal
The following pages link to Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198):
Displaying 5 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Existential Type Systems with No Types in Terms (Q3637189) (← links)
