First Page | Document Content | |
---|---|---|
Date: 2015-07-29 15:55:34Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming | Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos AiresAdd to Reading ListSource URL: tyrex.inria.frDownload Document from Source WebsiteFile Size: 326,71 KBShare Document on Facebook |