Seminars: S. Slavnov, Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

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

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

Seminars "Proof Theory" and "Logic Online Seminar"
November 20, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom

Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики

S. Slavnov

HSE University, Moscow

*Video records:*
	MP4	419.3 Mb

Number of views:
This page:	102
Video files:	31

Registration to the website

Logotypes