formation rule
inference rule
grammar
formalism
formal system
sentence
formalisation
formalization
categorial grammar
formal semantics
syntax
calculus
Gödel numbering
theory
generative grammar
Montague grammar
transformational grammar
search language
query language
command language
euphuism
setting rule
Gödel number
Herbrand universe
polymorphism
lambda term
logic programming
artificial language
denotation
tonology
morphology
clausifier
proof system
pleasure
open texture
mathematical function program
transformation
punctilio
Backus-Naur form
formulability
cone
algebraic language
context-sensitive grammar
regular language
structural linguistics
lambda calculus
metaconstitution
structuralism
literate programming
eta conversion