Pages that link to "Item:Q3637189"
From MaRDI portal
The following pages link to Existential Type Systems with No Types in Terms (Q3637189):
Displayed 5 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments (Q2350605) (← links)
- The existential fragment of second-order propositional intuitionistic logic is undecidable (Q6117326) (← links)