TYPOL

<language>

A specialised logic programming language.

["TYPOL: A Formalism to Implement Natural Semantics", T. Despeyroux, RR 94, INRIA, 1988].

Last updated: 1994-10-31

Nearby terms:

typotypographical errortypographyTYPOLtypo squattertytTZ

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading