📚 Cs/books/uwu
Файл
unification-and-anti-CoC.pdf · 169 КБ · нажмите — покажем
unification-and-anti-CoC.pdf · 169 КБ · нажмите — покажем
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
93 ·