English
Open in Telegram
Language
РусскийУкраїнськаDeutschFrançaisEspañolItalianoPortuguês简体中文العربيةفارسی
Theme
Web appOpen in Telegram
📚📚 Cs/books/uwu📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · channel · 647 subscribers

Post Unification and Anti-Unification in the Calculus of Constructions

17 February 2026

Nearby in the feed

📚📚 Cs/books/uwuhttps://wayforward.archive.org/📚📚 Cs/books/uwuhttps://itsfoss.com/self-host-ebook-server-software/
this message
📚📚 Cs/books/uwuRecursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381📚📚 Cs/books/uwuVerified Sequential Malloc/Free
📚📚 Cs/books/uwu📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · channel · Hobby
647subscribers144average post reach
Venue feed Open in Telegram

An open public feed from the search index ChatCrawler — “Google for public Telegram”; refreshed as the venue is crawled. Times are UTC.

Public content only, official Telegram API. About · FAQ · Index limits · Remove a page · Catalog · Search · How we count