U Ulam, 47 , 485 Ullman, 479 Unicode, 61 , 63 unification, 11 , 255 , 343 , 344 , 345 , 348 , 349 , 351 , 355 , 357 , 361 , 378 , 417 , 419 , 428 , 433 , 491 unifier, 343 , 417 , 418 unit string, 63 , 64 , 67 , 459 , 461 unit type, 204 UNIX, 12 , 32
