%0 Journal Article %1 journals/jfp/BartheS00 %A Barthe, Gilles %A Sørensen, Morten Heine %D 2000 %J J. Funct. Program. %K dblp %N 5 %P 417-452 %T Domain-free pure type systems. %U http://dblp.uni-trier.de/db/journals/jfp/jfp10.html#BartheS00 %V 10

@article{journals/jfp/BartheS00, added-at = {2011-06-10T00:00:00.000+0200}, author = {Barthe, Gilles and Sørensen, Morten Heine}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e3eb8368834a11a27e37fd13a949021e/dblp}, ee = {http://journals.cambridge.org/action/displayAbstract?aid=59753}, interhash = {47ed18860672ff8978970a7a557b9894}, intrahash = {e3eb8368834a11a27e37fd13a949021e}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 5, pages = {417-452}, timestamp = {2016-02-02T04:26:57.000+0100}, title = {Domain-free pure type systems.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp10.html#BartheS00}, volume = 10, year = 2000 }