Maribel Fernández, Paula Severi. An Operational Approach to Program Extraction in the Calculus of Constructions. In Michael Leuschel, editor, Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Volume 2664 of Lecture Notes in Computer Science, pages 111-125, Springer, 2002. [doi]
@inproceedings{FernandezS02:1,
title = {An Operational Approach to Program Extraction in the Calculus of Constructions},
author = {Maribel Fernández and Paula Severi},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2664/26640111.htm},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/FernandezS02%3A1},
cites = {0},
citedby = {0},
pages = {111-125},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers},
editor = {Michael Leuschel},
volume = {2664},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40438-4},
}