%0 Journal Article %1 journals/jfp/GartnerK96 %A Gärtner, Dietmar %A Kluge, Werner E. %D 1996 %J J. Funct. Program. %K dblp %N 5 %P 723-756 %T π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus. %U http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#GartnerK96 %V 6

@article{journals/jfp/GartnerK96, added-at = {2017-01-09T00:00:00.000+0100}, author = {Gärtner, Dietmar and Kluge, Werner E.}, biburl = {https://www.bibsonomy.org/bibtex/2601f732635792b819813688f158f2b28/dblp}, ee = {http://dx.doi.org/10.1017/S0956796800001957}, interhash = {77702ebe75217f66722253493e4ebaff}, intrahash = {601f732635792b819813688f158f2b28}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 5, pages = {723-756}, timestamp = {2017-01-10T11:34:24.000+0100}, title = {π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#GartnerK96}, volume = 6, year = 1996 }