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

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Special course "Complexity of the Lambek calculus"
November 16, 2018 16:45–18:20, 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

*Video records:*
	MP4	1,556.9 Mb

Abstract: An example of the construction of a derivation in $L^*(\backslash,/)$ for a given proof net.