Date: 2014-06-03 09:06:46Logic in computer science Automated theorem proving Dependently typed programming Type theory Formal sciences Federated Logic Conference Logic programming Workshop on Logic Language Information and Computation Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Mathematics | | Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 188,45 KBShare Document on Facebook
|