естественного языка». Мы поговорили о собаках, кошках, кенгуру, о разных видах равенства, приведении типов, копредикации и многих других страшных словах. Было гомотопичненько и параметричненько. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале. Подписывайтесь на все наши медиа, ставьте реакции, нажимайте на колокольчик и другие кнопки, нам от этого становится ещё более гомотопичненько, параметричненько, да и вообще тождественно (через самый настоящий refl).
Сегодня на нашем Кружке аналитической философии был представлен приглашённый доклад Олега Доманова «Наблюдательная теория типов в семантике естественного языка». Мы поговорили о собаках, кошках, кенгуру, о разных видах равенства, приведении типов, копредикации и многих других страшных словах. Было гомотопичненько и параметричненько. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале.
Подписывайтесь на все наши медиа, ставьте реакции, нажимайте на колокольчик и другие кнопки, нам от этого становится ещё более гомотопичненько, параметричненько, да и вообще тождественно (через самый настоящий refl).
