Pages that link to "Item:Q2639842"
From MaRDI portal
The following pages link to Inductive types and type constraints in the second-order lambda calculus (Q2639842):
Displayed 12 items.
- Strong normalization results by translation (Q636353) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Logic of subtyping (Q2500487) (← links)
- Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- Implementing a normalizer using sized heterogeneous types (Q3638918) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Termination checking with types (Q4659886) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)