![[Dissertation] Extensions and Applications of Higher-order Unification](https://sensemedia.org/covers/4285000/a3b923bbddbfa4d39b4fe999a82960af-g.jpg)
[Dissertation] Extensions and Applications of Higher-order Unification
1990 · ENGLISH · PDF
View detailsBooks by author
Conal M. Elliott
Books by author
1990 · ENGLISH · PDF
View details