Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

First Page		Document Content
Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc		Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Download Document from Source Website File Size: 398,48 KB Share Document on Facebook

	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß DocID: 1xW2r - View Document
	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions DocID: 1xW1P - View Document
	The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University DocID: 1xVYc - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮) DocID: 1xVTT - View Document
	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford DocID: 1xVM0 - View Document