Logical and Semantic Frameworks with Applications

Vivek Nigam, René Thiemann. Logical and Semantic Frameworks with Applications. Theoretical Computer Science, 781:1-2, 2019. [doi]

Abstract

Abstract is missing.