slides - Kwarc
slides - Kwarc
slides - Kwarc
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Future Work: Theory<br />
◮ Structured heterogeneous proofs<br />
◮ Semi-formal documents<br />
◮ More complex translations, e.g., partial, non-compositional<br />
translations, reflections<br />
◮ Model morphisms<br />
◮ Logic atlas: inventory of logics representing their relations as<br />
theory morphisms<br />
48