%0 Journal Article %1 eq-sing %A Stone, Christopher A. %A Harper, Robert %C New York, NY, USA %D 2006 %I ACM %J ACM Trans. Comput. Logic %K imported %N 4 %P 676-722 %R http://doi.acm.org/10.1145/1183278.1183281 %T Extensional equivalence and singleton types %V 7

@article{eq-sing, added-at = {2010-08-25T08:47:38.000+0200}, address = {{New York, NY, USA}}, author = {Stone, Christopher A. and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2be490100e1ce4e456b53a8ef89cede95/miguel.pagano}, doi = {{http://doi.acm.org/10.1145/1183278.1183281}}, interhash = {a3c29c560c9ca871247dc19bf3db623d}, intrahash = {be490100e1ce4e456b53a8ef89cede95}, issn = {{1529-3785}}, journal = {{ACM Trans. Comput. Logic}}, keywords = {imported}, number = {{4}}, pages = {676-722}, printed = {{TT}}, publisher = {{ACM}}, tags = {singletons}, timestamp = {2010-08-25T08:47:41.000+0200}, title = {{Extensional equivalence and singleton types}}, volume = {{7}}, year = {{2006}} }