Coherence of subsumption
From MaRDI portal
Recommendations
- Coherence as generalized logical equivalence
- Coherence and transitivity of subtyping as entailment
- Subsumption and implication
- Coherence in modal logic
- The logic of coherence
- Coherence and the axioms of confirmation
- Coherence in linear predicate logic
- Coherence and Transitivity in Coercive Subtyping
- Proof-theoretical coherence
- scientific article; zbMATH DE number 2048523
Cited in
(17)- Inheritance as implicit coercion
- Positive subtyping
- CPO-models for second order lambda calculus with recursive types and subtyping
- scientific article; zbMATH DE number 4177054 (Why is no real title available?)
- Coherence of subsumption, minimum typing and type-checking in F ≤
- Predicative polymorphic subtyping
- Coherence and transitivity of subtyping as entailment
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 814795 (Why is no real title available?)
- Strong normalization with non-structural subtyping
- On confluence for weakly normalizing systems
- Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
- Foundations for the implementation of higher-order subtyping
- Automated Reasoning with Analytic Tableaux and Related Methods
- Fast verified BCD subtyping
- Linear logic, coherence and dinaturality
- A modest model of records, inheritance, and bounded quantification
This page was built for publication: Coherence of subsumption
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4027624)
