%0 Conference Paper %1 conf/popl/Pfenning15 %A Pfenning, Frank %B PLMW@POPL %D 2015 %I ACM %K dblp %P 4:1 %T Proof theory and its role in programming language research. %U http://dblp.uni-trier.de/db/conf/popl/plmw2015.html#Pfenning15 %@ 978-1-4503-3299-6

@inproceedings{conf/popl/Pfenning15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2a1f9a7bd3aa0f251d3b7f4bbe54ed6c6/dblp}, booktitle = {PLMW@POPL}, crossref = {conf/popl/2015plmw}, ee = {https://doi.org/10.1145/2792434.2792438}, interhash = {0bb4ecbf3d3f9f9cad9405c96ec8c826}, intrahash = {a1f9a7bd3aa0f251d3b7f4bbe54ed6c6}, isbn = {978-1-4503-3299-6}, keywords = {dblp}, pages = {4:1}, publisher = {ACM}, timestamp = {2018-11-07T16:22:10.000+0100}, title = {Proof theory and its role in programming language research.}, url = {http://dblp.uni-trier.de/db/conf/popl/plmw2015.html#Pfenning15}, year = 2015 }