%0 Book %1 citeulike:14272806 %A Renaud, Francis %D 1996 %I Presses universitaires de France %K 68q55-semantics 68n18-functional-programming-and-lambda-calculus 03b40-combinatory-logic-and-lambda-calculus %T Sémantique du temps et lambda-calcul %U http://www.worldcat.org/isbn/2130477097 %@ 2130477097

@book{citeulike:14272806, added-at = {2017-06-29T07:13:07.000+0200}, author = {Renaud, Francis}, biburl = {https://www.bibsonomy.org/bibtex/200b9edb9e4e3342f91ccb236c28eaf15/gdmcbain}, citeulike-article-id = {14272806}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/2130477097}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN2130477097}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=2130477097\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/2130477097}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/463948807}, interhash = {5095fd1b8a14b1289ec7b8cdec9eaa3d}, intrahash = {00b9edb9e4e3342f91ccb236c28eaf15}, isbn = {2130477097}, keywords = {68q55-semantics 68n18-functional-programming-and-lambda-calculus 03b40-combinatory-logic-and-lambda-calculus}, posted-at = {2017-02-07 03:33:22}, priority = {2}, publisher = {Presses universitaires de France}, timestamp = {2020-09-04T03:45:13.000+0200}, title = {{S\'{e}mantique du temps et lambda-calcul}}, url = {http://www.worldcat.org/isbn/2130477097}, year = 1996 }