π Cs/books/uwu
Kanalga Telegramβda oβtish
#Books #linux #GNU #Cprogramming #engineering #computer
Ko'proq ko'rsatish637
Obunachilar
+124 soatlar
+27 kun
+1930 kun
Postlar arxiv
Repost from Programming Deadlock
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
