%0 Conference Paper %1 conf/icfp/Crary10 %A Crary, Karl %B ICFP %D 2010 %E Hudak, Paul %E Weirich, Stephanie %I ACM %K dblp %P 131-142 %T Higher-order representation of substructural logics. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2010.html#Crary10 %@ 978-1-60558-794-3

@inproceedings{conf/icfp/Crary10, added-at = {2021-06-22T00:00:00.000+0200}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/2af50529e2009318328ae84457731a03e/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2010}, editor = {Hudak, Paul and Weirich, Stephanie}, ee = {https://doi.org/10.1145/1932681.1863565}, interhash = {4a246c8049c5add6c8daa3edce2bc00e}, intrahash = {af50529e2009318328ae84457731a03e}, isbn = {978-1-60558-794-3}, keywords = {dblp}, pages = {131-142}, publisher = {ACM}, timestamp = {2024-04-09T17:31:28.000+0200}, title = {Higher-order representation of substructural logics.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2010.html#Crary10}, year = 2010 }