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.
Conclusion<br />
◮ L combines advantages of institutions and LF<br />
◮ Existing encodings subsumed<br />
◮ Model theoretical view: L provides specification language for<br />
institutions and institution comorphisms<br />
◮ Proof theoretical view: L provides set-theoretic semantics of<br />
the meta-logic LF<br />
34