Maribel Fernández Paula Severi An Operational Approach to Program Extraction in the Calculus of Constructions. 111-125 2002 conf/lopstr/2002 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2664/26640111.htm db/conf/lopstr/lopstr2002.html#FernandezS02