@inproceedings{bourreau:hal-00740701, TITLE = {{A Datalog recognizer for almost affine lambda-CFGs}}, AUTHOR = {Bourreau, Pierre and Salvati, Sylvain}, URL = {https://hal.archives-ouvertes.fr/hal-00740701}, BOOKTITLE = {{Mathematics of Language}}, ADDRESS = {Nara, Japan}, EDITOR = {Springer}, PUBLISHER = {{springer}}, VOLUME = {6878}, PAGES = {21-38}, YEAR = {2011}, MONTH = Sep, DOI = {10.1007/978-3-642-23211-4}, KEYWORDS = {datalog ; abstract categorial grammars ; typing properties ; deleting grammars... parsing ; context-free lambda-grammars ; lambda-calculus}, HAL_ID = {hal-00740701}, HAL_VERSION = {v1}, }