66
Voted
CIE
2008
Springer
15 years 22 days ago
2008
Springer
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