Hybrid Functional Interpretations

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

• Type: Conference
• Year: 2008
• Where: CIE
• Authors: Mircea-Dan Hernest, Paulo Oliva
• Keywords: Applied Computing, CIE 2008, Concrete Hybrid, Kreisel's Modified Realizability, Multi-modal Linear Logic