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

Fairouz Dib Kamareddine, F Monin, M Ayala

Research output: Contribution to conferencePaper

Original languageEnglish
Pages20
Number of pages1
Publication statusPublished - 2002
EventENTCS -
Duration: 1 Jan 2002 → …

Conference

ConferenceENTCS
Abbreviated titleENTCS
Period1/01/02 → …

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",

}

On Automating the Extraction of Programs from Proofs using Product Types. 9th Workshop on Logic, Language, Information and Computation. / Kamareddine, Fairouz Dib; Monin, F; Ayala, M.

2002. 20 Paper presented at ENTCS, .

Research output: Contribution to conferencePaper

TY - CONF

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

AU - Kamareddine, Fairouz Dib

AU - Monin, F

AU - Ayala, M

PY - 2002

Y1 - 2002

M3 - Paper

SP - 20

ER -