%0 Book %1 citeulike:14272804 %A Desclès, Jean-Pierre %A Guibert, Gaëll %A Sauzay, Benoit %D 2016 %I Cépaduès %K 68n18-functional-programming-and-lambda-calculus 03b40-combinatory-logic-and-lambda-calculus %T Logique combinatoire et lambda-calcul : des logiques d'opérateurs %U http://www.worldcat.org/isbn/9782364935303 %V 1 %@ 9782364935303

@book{citeulike:14272804, added-at = {2017-06-29T07:13:07.000+0200}, author = {Descl\`{e}s, Jean-Pierre and Guibert, Ga\"{e}ll and Sauzay, Benoit}, biburl = {https://www.bibsonomy.org/bibtex/263f09a172663415c1015f91a2d14d082/gdmcbain}, citeulike-article-id = {14272804}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/9782364935303}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN9782364935303}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=9782364935303\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/9782364935303}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/944443566}, interhash = {fbc67a023e538778979bd34f7e5eab4f}, intrahash = {63f09a172663415c1015f91a2d14d082}, isbn = {9782364935303}, keywords = {68n18-functional-programming-and-lambda-calculus 03b40-combinatory-logic-and-lambda-calculus}, posted-at = {2017-02-07 03:32:59}, priority = {2}, publisher = {C\'{e}padu\`{e}s}, timestamp = {2020-09-04T03:45:13.000+0200}, title = {{Logique combinatoire et [lambda]-calcul : des logiques d'op\'{e}rateurs}}, url = {http://www.worldcat.org/isbn/9782364935303}, volume = 1, year = 2016 }