@proceedings{ rtatlca14,
  editor = {Dowek, Gilles},
  title = {Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  booktitle = {RTA-TLCA},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8650},
  isbn = {978-3-319-08917-1},
  doi = {10.1007/978-3-319-08918-8},
  year = {2014}
}

{"_id":"we7mrs3vFNEic4ZoL","bibbaseid":"dowek-rewritingandtypedlambdacalculijointinternationalconferencertatlca2014heldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings-2014","downloads":0,"creationDate":"2015-08-31T22:24:38.684Z","title":"Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","author_short":null,"year":2014,"bibtype":"proceedings","biburl":"https://lacl.fr/~caubert/latex/bib.bib","bibdata":{"bibtex":"@proceedings{ rtatlca14,\n editor = {Dowek, Gilles},\n title = {Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},\n booktitle = {RTA-TLCA},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n volume = {8650},\n isbn = {978-3-319-08917-1},\n doi = {10.1007/978-3-319-08918-8},\n year = {2014}\n}","bibtype":"proceedings","booktitle":"RTA-TLCA","doi":"10.1007/978-3-319-08918-8","editor":["Dowek, Gilles"],"editor_short":["Dowek, G."],"id":"rtatlca14","isbn":"978-3-319-08917-1","key":"rtatlca14","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","type":"proceedings","volume":"8650","year":"2014","bibbaseid":"dowek-rewritingandtypedlambdacalculijointinternationalconferencertatlca2014heldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings-2014","role":"editor","urls":{},"downloads":0,"html":""},"search_terms":["rewriting","typed","lambda","calculi","joint","international","conference","rta","tlca","2014","held","part","vienna","summer","logic","vsl","2014","vienna","austria","july","2014","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["ij2xLz8e3fN9We4Af"]}