20 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
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…