![](/img/cover-not-exists.png)
On automating the extraction of programs from proofs using product types
Fairouz Kamareddine, François Monin, Mauricio Ayala-RincónVolume:
67
Year:
2002
Language:
english
Pages:
21
DOI:
10.1016/s1571-0661(04)80551-6
File:
PDF, 1.45 MB
english, 2002