The following pages link to Finitely stratified polymorphism (Q1175334):
Displaying 13 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)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Tiering as a Recursion Technique (Q3370611) (← links)
- 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
- (Q4957789) (← links)
- The calculus of dependent lambda eliminations (Q5372010) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
