Logical and Semantic Frameworks with Applications

Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari. Logical and Semantic Frameworks with Applications. Theoretical Computer Science, 685:1-2, 2017. [doi]

Abstract

Abstract is missing.