Similar Items: Modal Functional (Dialectica) Interpretation
- Functional Interpretations of Intuitionistic Linear Logic
- Theory of higher order interpretations and application to Basic Feasible Functions
- Modal Interface Automata
- A topological interpretation of three Leibnizian principles within the functional extensions
- Modal Logics of Topological Relations
- Completeness for the coalgebraic cover modality