<programming language>

A specialised logic programming language.

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

(01 Mar 1994)

typographic, typographical, typographical error, typography < Prev | Next > typolite, typology, typus conservandus

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums