Sub-disciplines and Related Fields
There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.
Read more about this topic: Programming Language Theory
Famous quotes containing the words related and/or fields:
“No being exists or can exist which is not related to space in some way. God is everywhere, created minds are somewhere, and body is in the space that it occupies; and whatever is neither everywhere nor anywhere does not exist. And hence it follows that space is an effect arising from the first existence of being, because when any being is postulated, space is postulated.”
—Isaac Newton (1642–1727)
“Ah happy hills! ah pleasing shade!
Ah fields beloved in vain!
Where once my careless childhood stray’d,”
—Thomas Gray (1716–1771)