typo

n : a mistake in printed matter resulting from mechanical

failures of some kind [syn: {misprint}, {erratum}, {typographical

error}, {literal error}, {literal}]

TYPOL

A specialised {logic programming} language.

["TYPOL: A Formalism to Implement Natural Semantics",

T. Despeyroux, RR 94, INRIA, 1988].

(1994-10-31)