Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog
Mircea-Dan Hernest
Electronic Notes in Theoretical Computer Science, 174(5), 141–149 (2007) .
2007
Full text: http://dx.doi.org/10.1016/j.entcs.2007.01.023
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment