%0 Conference Paper %1 BarFerRid2002 %A Bars, S. %A Ferré, S. %A Ridoux, O. %B Int. Workshop on Isomorphisms of Types %D 2002 %I Electronic proceedings at www.irit.fr/zeno/WIT2002/ %K information_retrieval logic_functor type_isomorphism %T Logic Functors for Types as Search Keys

@inproceedings{BarFerRid2002, added-at = {2007-06-12T09:41:27.000+0200}, author = {Bars, S. and Ferré, S. and Ridoux, O.}, biburl = {https://www.bibsonomy.org/bibtex/2af537f95a4058fc8b0e6cbea1a1fdfe3/sebferre}, booktitle = {Int. Workshop on Isomorphisms of Types}, description = {publications of Sebastien Ferre}, interhash = {be7228efe9a744b2a6aafa230eaa9d5e}, intrahash = {af537f95a4058fc8b0e6cbea1a1fdfe3}, keywords = {information_retrieval logic_functor type_isomorphism}, pdf = {http://www.irisa.fr/lande/ferre/papers/wit2002.pdf}, ps = {http://www.irisa.fr/lande/ferre/papers/wit2002.ps.gz}, publisher = {Electronic proceedings at www.irit.fr/zeno/WIT2002/}, refperso = {200302C}, timestamp = {2007-06-12T09:41:27.000+0200}, title = {Logic Functors for Types as Search Keys}, year = 2002 }