English Dictionary
◊ TYROL
Tyrol
n : a picturesque mountainous province of western Austria [syn:
{Tyrol}, {Tirol}]
English Computing Dictionary
◊ TYPOL
TYPOL
A specialised {logic programming} language.
["TYPOL: A Formalism to Implement Natural Semantics",
T. Despeyroux, RR 94, INRIA, 1988].
(1994-10-31)