%0 Conference Paper %1 journals/entcs/JungKM97 %A Jung, Achim %A Kegelmann, Mathias %A Moshier, M. Andrew %B MFPS %D 1997 %E Brookes, Stephen D. %E Mislove, Michael W. %I Elsevier %K dblp %P 203-220 %T Multi lingual sequent calculus and coherent spaces. %U http://dblp.uni-trier.de/db/journals/entcs/entcs6.html#JungKM97 %V 6

@inproceedings{journals/entcs/JungKM97, added-at = {2021-02-08T00:00:00.000+0100}, author = {Jung, Achim and Kegelmann, Mathias and Moshier, M. Andrew}, biburl = {https://www.bibsonomy.org/bibtex/226a2a7c4f55d9cd7777a86c4f35c1e61/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/1997}, editor = {Brookes, Stephen D. and Mislove, Michael W.}, ee = {https://doi.org/10.1016/S1571-0661(05)80160-4}, interhash = {ad70e5ac6bde06b1675329d7a84c5a6a}, intrahash = {26a2a7c4f55d9cd7777a86c4f35c1e61}, keywords = {dblp}, pages = {203-220}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T03:14:14.000+0200}, title = {Multi lingual sequent calculus and coherent spaces.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs6.html#JungKM97}, volume = 6, year = 1997 }