%0 Conference Paper %1 conf/lfmtp/AnandR14 %A Anand, Abhishek %A Rahli, Vincent %B LFMTP %D 2014 %E Felty, Amy P. %E Pientka, Brigitte %I ACM %K dblp %P 5: 1-5: 8 %T A Generic Approach to Proofs about Substitution. %U http://dblp.uni-trier.de/db/conf/lfmtp/lfmtp2014.html#AnandR14 %@ 978-1-4503-2817-3

@inproceedings{conf/lfmtp/AnandR14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Anand, Abhishek and Rahli, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/25288f7d8fbde0cef0fffc9d2eda67f16/dblp}, booktitle = {LFMTP}, crossref = {conf/lfmtp/2014}, editor = {Felty, Amy P. and Pientka, Brigitte}, ee = {https://doi.org/10.1145/2631172.2631177}, interhash = {a8eb08b2106465111af953cc5c657cc6}, intrahash = {5288f7d8fbde0cef0fffc9d2eda67f16}, isbn = {978-1-4503-2817-3}, keywords = {dblp}, pages = {5: 1-5: 8}, publisher = {ACM}, timestamp = {2019-10-22T16:10:26.000+0200}, title = {A Generic Approach to Proofs about Substitution.}, url = {http://dblp.uni-trier.de/db/conf/lfmtp/lfmtp2014.html#AnandR14}, year = 2014 }