Français

Ouvrir dans Telegram

📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · canal · 647 abonnés

Publication Unification and Anti-Unification in the Calculus of Constructions

17 février 2026

📚

📚 Cs/books/uwu

Fichier
unification-and-anti-CoC.pdf · 169 Ko · cliquez pour afficher

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

93 · 08:11

À proximité dans le fil

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

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

ce message

📚 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 · Loisirs

647abonnés144portée moyenne d'une publication

Fil de la communauté Ouvrir dans Telegram

Un fil public ouvert issu de l'index de recherche ChatCrawler — « le Google du Telegram public » ; actualisé à mesure que la communauté est explorée. Les heures sont en UTC.

Contenu public uniquement, API officielle de Telegram. À propos · FAQ · Limites de l'index · Retirer une page · Catalogue · Recherche · Comment nous comptons