Coherence and Transitivity in Coercive Subtyping
From MaRDI portal
Publication:2996166
DOI10.1007/3-540-45653-8_17zbMATH Open1275.03077OpenAlexW1587389352MaRDI QIDQ2996166FDOQ2996166
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://etheses.dur.ac.uk/3025/1/3025_1049.pdf
Recommendations
- Transitivity in coercive subtyping
- Coherence and transitivity of subtyping as entailment
- scientific article; zbMATH DE number 2003159
- scientific article; zbMATH DE number 1086673
- Coercion completion and conservativity in coercive subtyping
- scientific article; zbMATH DE number 1301735
- Coercive subtyping via mappings of reduction behaviour
- Coercive subtyping for the calculus of constructions (extended abstract)
- scientific article; zbMATH DE number 1497873
- A coalgebraic semantics of subtyping
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cited In (11)
- Coherence of subsumption for monadic types
- Title not available (Why is that?)
- Coercion completion and conservativity in coercive subtyping
- Coherence and transitivity of subtyping as entailment
- Soundness of Coercion in the Calculus of Constructions
- Transitivity in coercive subtyping
- Integrating coercion with subtyping and multiple dispatch
- Title not available (Why is that?)
- Types for Proofs and Programs
- Subset Coercions in Coq
- Title not available (Why is that?)
Uses Software
This page was built for publication: Coherence and Transitivity in Coercive Subtyping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996166)
