VDict mobile
Dictionary - Translation



["Functional Programming and the Logical Variable",
G. Lindstrom, POPL 1985, pp. 266-280].
(1994-11-30)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version