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