%0 Conference Paper %1 conf/esop/GeorgesMOP17 %A Georges, Aïna Linn %A Murawska, Agata %A Otis, Shawn %A Pientka, Brigitte %B ESOP %D 2017 %E Yang, Hongseok %I Springer %K dblp %P 530-555 %T LINCX: A Linear Logical Framework with First-Class Contexts. %U http://dblp.uni-trier.de/db/conf/esop/esop2017.html#GeorgesMOP17 %V 10201 %@ 978-3-662-54434-1

@inproceedings{conf/esop/GeorgesMOP17, added-at = {2021-01-20T00:00:00.000+0100}, author = {Georges, Aïna Linn and Murawska, Agata and Otis, Shawn and Pientka, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/29d12d3450d185068e7f2dadfaa2c87be/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2017}, editor = {Yang, Hongseok}, ee = {https://doi.org/10.1007/978-3-662-54434-1_20}, interhash = {fd85854cb4c8a188c6079c01e42f1dba}, intrahash = {9d12d3450d185068e7f2dadfaa2c87be}, isbn = {978-3-662-54434-1}, keywords = {dblp}, pages = {530-555}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:52.000+0200}, title = {LINCX: A Linear Logical Framework with First-Class Contexts.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2017.html#GeorgesMOP17}, volume = 10201, year = 2017 }