Date: 2015-01-06 05:10:59Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra | | CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, CanadaAdd to Reading ListSource URL: www.ensiie.frDownload Document from Source Website File Size: 187,49 KBShare Document on Facebook
|