%0 Conference Paper %1 conf/fg/MootS19 %A Moot, Richard %A Stevens-Guille, Symon Jory %B FG %D 2019 %E Bernardi, Raffaella %E Kobele, Greg %E Pogodalla, Sylvain %I Springer %K dblp %P 84-100 %T Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. %U http://dblp.uni-trier.de/db/conf/fg/fg2019.html#MootS19 %V 11668 %@ 978-3-662-59648-7

@inproceedings{conf/fg/MootS19, added-at = {2020-12-29T00:00:00.000+0100}, author = {Moot, Richard and Stevens-Guille, Symon Jory}, biburl = {https://www.bibsonomy.org/bibtex/20becd1cd350c2064dad7406a9fbaa55d/dblp}, booktitle = {FG}, crossref = {conf/fg/2019}, editor = {Bernardi, Raffaella and Kobele, Greg and Pogodalla, Sylvain}, ee = {https://doi.org/10.1007/978-3-662-59648-7_6}, interhash = {727df429b1ddd7bad5f895817539aafd}, intrahash = {0becd1cd350c2064dad7406a9fbaa55d}, isbn = {978-3-662-59648-7}, keywords = {dblp}, pages = {84-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:08:50.000+0200}, title = {Proof-Theoretic Aspects of Hybrid Type-Logical Grammars.}, url = {http://dblp.uni-trier.de/db/conf/fg/fg2019.html#MootS19}, volume = 11668, year = 2019 }