%0 Journal Article %1 journals/entcs/KamareddineMA02 %A Kamareddine, Fairouz %A Monin, François %A Ayala-Rincón, Mauricio %D 2002 %J Electron. Notes Theor. Comput. Sci. %K %P 233-253 %T On automating the extraction of programs from proofs using product types. %U http://dblp.uni-trier.de/db/journals/entcs/entcs67.html#KamareddineMA02 %V 67

@article{journals/entcs/KamareddineMA02, added-at = {2023-12-13T01:56:59.000+0100}, author = {Kamareddine, Fairouz and Monin, François and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/201cdde8185f8a76b65898ba651602eab/admin}, ee = {https://www.wikidata.org/entity/Q58001562}, interhash = {78bcd4ad9f9f8e762fb8d39cd13f4029}, intrahash = {01cdde8185f8a76b65898ba651602eab}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {233-253}, timestamp = {2023-12-13T01:56:59.000+0100}, title = {On automating the extraction of programs from proofs using product types.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs67.html#KamareddineMA02}, volume = 67, year = 2002 }