%0 Journal Article %1 journals/toplas/AriolaBS09 %A Ariola, Zena M. %A Bohannon, Aaron %A Sabry, Amr %D 2009 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 13:1-13:48 %T Sequent calculi and abstract machines. %U http://dblp.uni-trier.de/db/journals/toplas/toplas31.html#AriolaBS09 %V 31

@article{journals/toplas/AriolaBS09, added-at = {2020-09-05T00:00:00.000+0200}, author = {Ariola, Zena M. and Bohannon, Aaron and Sabry, Amr}, biburl = {https://www.bibsonomy.org/bibtex/24eb5d6762b94b3cd07c74d0d8e01f5f6/dblp}, ee = {https://doi.org/10.1145/1516507.1516508}, interhash = {e5ad05d5ce7fac198e644f39fef102e1}, intrahash = {4eb5d6762b94b3cd07c74d0d8e01f5f6}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {13:1-13:48}, timestamp = {2020-09-09T13:38:56.000+0200}, title = {Sequent calculi and abstract machines.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas31.html#AriolaBS09}, volume = 31, year = 2009 }