On Automating the Extraction of Programs from Proofs using Product Types. 
9th Workshop on Logic, Language, Information and Computation.

Research output: Contribution to conference › Paper › peer-review

Cite this

@conference{59c0bf0f6fe24cbb8faa6a067c137be9,

title = "On Automating the Extraction of Programs from Proofs using Product Types. 9th Workshop on Logic, Language, Information and Computation.",

author = "Kamareddine, \{Fairouz Dib\} and F Monin and M Ayala",

year = "2002",

language = "English",

pages = "20",

note = "ENTCS, ENTCS ; Conference date: 01-01-2002",

}