A Proof Dedicated Meta-Language.

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

meta level
programming language
natural language
language learning
specification language
real world
artificial intelligence
context dependent
language processing
social networks
theorem proving
modeling language
linear logic
mathematical proofs