First Page | Document Content | |
---|---|---|
Date: 2017-09-19 19:50:55Logic 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 RothgangAdd to Reading ListSource URL: pxtp.github.ioDownload Document from Source WebsiteFile Size: 398,48 KBShare Document on Facebook |