%0 Journal Article %1 journals/jfp/CurienC96 %A Curien, Pierre-Louis %A Cosmo, Roberto Di %D 1996 %J J. Funct. Program. %K dblp %N 2 %P 299-327 %T A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. %U http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#CurienC96 %V 6

@article{journals/jfp/CurienC96, added-at = {2011-06-10T00:00:00.000+0200}, author = {Curien, Pierre-Louis and Cosmo, Roberto Di}, biburl = {https://www.bibsonomy.org/bibtex/2f105bb1270e25033f53b75c9eb791417/dblp}, ee = {http://dx.doi.org/10.1017/S0956796800001696}, interhash = {2bbf3e8059599b4bf1ab40b35d1637e5}, intrahash = {f105bb1270e25033f53b75c9eb791417}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = {299-327}, timestamp = {2011-06-11T11:32:47.000+0200}, title = {A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#CurienC96}, volume = 6, year = 1996 }