%0 Conference Paper %1 conf/csl/BarberGHP97 %A Barber, Andrew G. %A Gardner, Philippa %A Hasegawa, Masahito %A Plotkin, Gordon D. %B CSL %D 1997 %E Nielsen, Mogens %E Thomas, Wolfgang %I Springer %K dblp %P 78-97 %T From Action Calculi to Linear Logic. %U http://dblp.uni-trier.de/db/conf/csl/csl97.html#BarberGHP97 %V 1414 %@ 3-540-64570-5

@inproceedings{conf/csl/BarberGHP97, added-at = {2022-10-02T00:00:00.000+0200}, author = {Barber, Andrew G. and Gardner, Philippa and Hasegawa, Masahito and Plotkin, Gordon D.}, biburl = {https://www.bibsonomy.org/bibtex/29c27dab682a8c8fa745b6b1396bf76ce/dblp}, booktitle = {CSL}, crossref = {conf/csl/1997}, editor = {Nielsen, Mogens and Thomas, Wolfgang}, ee = {https://doi.org/10.1007/BFb0028008}, interhash = {b326fc4670a4b34cfd328f8a964f2124}, intrahash = {9c27dab682a8c8fa745b6b1396bf76ce}, isbn = {3-540-64570-5}, keywords = {dblp}, pages = {78-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:36:53.000+0200}, title = {From Action Calculi to Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl97.html#BarberGHP97}, volume = 1414, year = 1997 }