< language >
["Fresh: A Higher-Order Language Based on Unification", G. Smolka, in Logic Programming: Functions, Relations and Equations", D. DeGroot et al, P-H 1986, pp. 469-524].
(1996-04-28)
< language >
["Fresh: A Higher-Order Language Based on Unification", G. Smolka, in Logic Programming: Functions, Relations and Equations", D. DeGroot et al, P-H 1986, pp. 469-524].
(1996-04-28)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012