Sciweavers

CIE
2008
Springer
14 years 26 days ago
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
Mircea-Dan Hernest, Paulo Oliva