The following pages link to (Q5624680):
Displaying 12 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)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)
- A framework for approximate generalization in quantitative theories (Q2104546) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- E-generalization using grammars (Q2457667) (← links)
- Matching and Generalization Modulo Proximity and Tolerance Relations (Q6487233) (← links)
- Towards Fast Nominal Anti-unification of Letrec-Expressions (Q6492762) (← links)
- Learning Proof Transformations and Its Applications in Interactive Theorem Proving (Q6496633) (← links)
