Русский
Открыть в Telegram
Язык
EnglishУкраїнськаDeutschFrançaisEspañolItalianoPortuguês简体中文العربيةفارسی
Тема
Веб-версияОткрыть в Telegram
📚📚 Cs/books/uwu📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · канал · 648 подписчиков

Пост https://www.danielgratzer.com/papers/type-theory-book.pdf

21 февраля 2025

Рядом в ленте

📚📚 Cs/books/uwuhttps://youtube.com/playlist?list=PLs6THB5KHWo2k0OdWXbu_pB_0n2KzpGC1&si=nsDr5wsWyERxZcVL📚📚 Cs/books/uwuhttps://dl.acm.org/doi/abs/10.1145/1366230.1366239
это сообщение
📚📚 Cs/books/uwuCalculus https://youtube.com/playlist?list=PL67C119EDA6BDE946&si=APpyb4F6nCvdJbtd📚📚 Cs/books/uwuAlgebra https://youtube.com/playlist?list=PLGbL7EvScmU7ZqJW4HumYdDYv12Wt3yOk&si=a55I89GTqIudUyOo
📚📚 Cs/books/uwu📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · канал
648подписчиков137средний охват поста
Лента площадки Открыть в Telegram

Открытая публичная лента из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Границы индекса · Убрать страницу из выдачи · Каталог · Поиск · Как мы считаем