Home » Authors » Dennis Müller, Florian Rabe

Dennis Müller, Florian Rabe

Public reference bibliography and cataloged PDF materials authored or published by Dennis Müller, Florian Rabe.

Found 1 document(s) Page 1 of 1

Rapid Prototyping Formal Systems in MMT: 5 Case Studies

Year: 2019 • Source: hal.science • Listed PDF

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 implementations from the framework including, e.g....