Back to Results
First PageMeta Content
Logic / 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 Aires
Add to Reading List

Document Date: 2015-07-29 15:55:34

Open Document

File Size: 326,71 KB

Share Result on Facebook