Light Dialectica Program Extraction from a Classical Fibonacci Proof
Mircea-Dan Hernest
Electronic Notes in Theoretical Computer Science, 171(3), 43–53 (2007) .
2007
Full text: http://dx.doi.org/10.1016/j.entcs.2006.10.050
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment