@inproceedings {bioinflmu-860, title = {{Extraction of Efficient Programs from Proofs: The Case of Structural Induction over Natural Numbers}}, booktitle = {Local Proceedings of the Fourth Conference on Computability in Europe: Logic and Theory of Algorithms (CiE{\textquoteright}08)}, year = {2008}, pages = {64-76}, address = {Athens, Greece, June 15-20, 2008}, keywords = {heun-group}, url1 = {PDF}, author = {Luca Chiarabini}, editor = {A. Beckmann and C. Dimitracopoulos and B. L{\"o}we} }