Columbia subject headings:
Grammar, Comparative and general--Temporal constructions.
Lambda calculus.
Semantics.
Space and time in language.
Harvard subject headings:
Lambda calculus.
Mathematical linguistics.
Programming languages (Electronic computers)--Electronic computers.
Semantics--Mathematical models
Princeton subject headings:
Grammar, Comparative and general--Temporal constructions.
Lambda calculus.
Semantics.
Space and time in language.