Computability in Europe 2006
Logical Approaches to Computational Barriers



Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie08/db-code.php on line 107

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie08/db-code.php on line 117

Regular Talk:
Hybrid Functional Interpretations



Notice: Undefined index: cancelled in /srv/www/htdocs-cs/cie08/conf-code.php on line 530

Notice: Undefined variable: del in /srv/www/htdocs-cs/cie08/conf-code.php on line 552

Notice: Use of undefined constant session - assumed 'session' in /srv/www/htdocs-cs/cie08/conf-code.php on line 553

Notice: Use of undefined constant slot - assumed 'slot' in /srv/www/htdocs-cs/cie08/conf-code.php on line 554

Notice: Use of undefined constant room - assumed 'room' in /srv/www/htdocs-cs/cie08/conf-code.php on line 555

Notice: Array to string conversion in /srv/www/htdocs-cs/cie08/conf-code.php on line 556
Author(s): Mircea-Dan Hernest and Paulo Oliva
Slot: Array, 11:00-11:20, col. 2

Abstract

We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and Gödel's Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers.


websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 579
2008-05-18