Seminars: M. R. Pentus, Lecture 8. The first part of the proof of the derivability criterion for $L^*(\backslash,/)$

SEMINARS


Special course "Complexity of the Lambek calculus" November 16, 2018 16:45, Moscow

Lecture 8. The first part of the proof of the derivability criterion for $L^(\backslash,/)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics*
Abstract: An example of the construction of a derivation in $L^*(\backslash,/)$ for a given proof net.