Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Hybrid Functional Interpretations

Edit abstract data

Author(s): Mircea-Dan Hernest and Paulo Oliva
Slot: Mon, 11:00-11:20, Propylaia (col. 2)


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 2008-05-18 Valid HTML 4.01! Valid CSS!