A complexity analysis of functional interpretations
Mircea-Dan Hernest, Ulrich Kohlenbach
Theoretical Computer Science, 338(1-3), 200–246 (2005) .
2005
Full text: http://dx.doi.org/10.1016/j.tcs.2004.12.019
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment