Sciweavers

APAL
2008
95views more  APAL 2008»
14 years 8 months ago
Cartesian closed Dialectica categories
When G
Bodil Biering
81
Voted
LCC
1994
200views Algorithms» more  LCC 1994»
15 years 28 days ago
Program Extraction from Classical Proofs
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 ...
Ulrich Berger, Helmut Schwichtenberg