Formale Modellierung der Multiplikativen Linearen Logik durch Tiefe Inferenz
Die Arbeit untersucht die Übersetzung zwischen einem Tiefe-Inferenz-System und dem Standard-Sequenzenkalkül für die Multiplikative Lineare Logik. Es wird gezeigt, dass ein standardmäßiger Modellierungsansatz invariant gegenüber diesen Übersetzungen ist.
