📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · canal · 647 inscritos

Post Unification and Anti-Unification in the Calculus of Constructions

17 de fevereiro de 2026

📚

📚 Cs/books/uwu

Arquivo
unification-and-anti-CoC.pdf · 169 KB · clique para mostrar

Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

93 · 08:11

Por perto no feed

📚 Cs/books/uwu08:05https://wayforward.archive.org/📚

📚 Cs/books/uwu08:10https://itsfoss.com/self-host-ebook-server-software/

esta mensagem

📚 Cs/books/uwu08:11Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381 📚

📚 Cs/books/uwu08:11Verified Sequential Malloc/Free

📚

📚 Cs/books/uwu

📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · canal · Hobbies

647inscritos144alcance médio dos posts

Feed da comunidade Abrir no Telegram

Um feed público aberto do índice de busca ChatCrawler — “o Google do Telegram público”; atualizado à medida que a comunidade é rastreada. Horários em UTC.

Somente conteúdo público, API oficial do Telegram. Sobre · Perguntas frequentes · Limites do índice · Remover uma página · Catálogo · Busca · Como calculamos