168
Voted
APAL
2008
15 years 6 months ago
2008
When G
184
Voted
LCC
1994
15 years 11 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...