%0 Journal Article %1 journals/cj/Henson88 %A Henson, Martin C. %D 1988 %J Comput. J. %K dblp %N 6 %P 517-524 %T Higher-Order Transformations and Type Simulations. %U http://dblp.uni-trier.de/db/journals/cj/cj31.html#Henson88 %V 31

@article{journals/cj/Henson88, added-at = {2011-06-28T00:00:00.000+0200}, author = {Henson, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/2e5cc340904ed619fce2794aa6d3a0950/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/31.6.517}, interhash = {7cc02856b5128bd5be3ccbb47f77bb23}, intrahash = {e5cc340904ed619fce2794aa6d3a0950}, journal = {Comput. J.}, keywords = {dblp}, number = 6, pages = {517-524}, timestamp = {2011-06-29T16:41:35.000+0200}, title = {Higher-Order Transformations and Type Simulations.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj31.html#Henson88}, volume = 31, year = 1988 }