7 citations · 58 across the 20 of their papers we have counts for
1 paper · 2 filters
Dennis Müller, Florian Rabe
Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementa…