Date: 2017-09-19 19:50:55Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Dependently typed programming Formal methods Logical framework Proof theory First-order logic Lambda calculus Calculus of constructions | | Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use thAdd to Reading ListSource URL: pxtp.github.ioDownload Document from Source Website File Size: 257,58 KBShare Document on Facebook
|