%0 Conference Paper %1 conf/ppdp/Garcia-PerezNM13 %A García-Pérez, Álvaro %A Nogueira, Pablo %A Moreno-Navarro, Juan José %B PPDP %D 2013 %E Peña, Ricardo %E Schrijvers, Tom %I ACM %K dblp %P 85-96 %T Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2013.html#Garcia-PerezNM13 %@ 978-1-4503-2154-9

@inproceedings{conf/ppdp/Garcia-PerezNM13, added-at = {2018-11-06T00:00:00.000+0100}, author = {García-Pérez, Álvaro and Nogueira, Pablo and Moreno-Navarro, Juan José}, biburl = {https://www.bibsonomy.org/bibtex/248588fdd410eb80eaea39df7f6c1a5cc/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2013}, editor = {Peña, Ricardo and Schrijvers, Tom}, ee = {https://doi.org/10.1145/2505879.2505887}, interhash = {9054f1f62c74afa7e6f8b2cfc6927efe}, intrahash = {48588fdd410eb80eaea39df7f6c1a5cc}, isbn = {978-1-4503-2154-9}, keywords = {dblp}, pages = {85-96}, publisher = {ACM}, timestamp = {2018-11-07T14:47:41.000+0100}, title = {Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2013.html#Garcia-PerezNM13}, year = 2013 }