Dialectica program extraction from a classical Fibonacci proof, in (2007)

by M-D Hernest, Light
Venue:Proceedings of DCM’06 at ICALP’06, Electronic Notes in Theoretical Computer Science (ENTCS, 2007), 10pp., Accepted for publication, Downloadable @ http://www.brics.dk/ edanher