%0 Conference Paper %1 conf/agp/BartheJ01 %A Barthe, Gilles %A Jiménez, Blas C. Ruiz %B APPIA-GULP-PRODE %D 2001 %E Pereira, Luís Moniz %E Quaresma, Paulo %I Departamento de Informática, Universidade de Évora %K dblp %P 149-163 %T Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo). %U http://dblp.uni-trier.de/db/conf/agp/agp2001.html#BartheJ01

@inproceedings{conf/agp/BartheJ01, added-at = {2020-03-12T00:00:00.000+0100}, author = {Barthe, Gilles and Jiménez, Blas C. Ruiz}, biburl = {https://www.bibsonomy.org/bibtex/20431f92dd06b340d59cfb8396a9240d5/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/2001}, editor = {Pereira, Luís Moniz and Quaresma, Paulo}, ee = {http://www.di.uevora.pt/~pq/agp01/finals/22.pdf}, interhash = {59e2e689f2dfc2ffb3506e16f2e81d3c}, intrahash = {0431f92dd06b340d59cfb8396a9240d5}, keywords = {dblp}, pages = {149-163}, publisher = {Departamento de Informática, Universidade de Évora}, timestamp = {2020-03-13T12:41:20.000+0100}, title = {Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo).}, url = {http://dblp.uni-trier.de/db/conf/agp/agp2001.html#BartheJ01}, year = 2001 }