Science
Lambda calculus
Alonzo Church
Formal system in mathematical logic
ByAlonzo Church

Related
More to read
LogarithmText
Lambda phageText
Mathematical inductionText
Landau quantizationText
Turing machineText
Hubble–Lemaître lawText
LimaçonText
Geometry of numbersText
Newton's laws of motionText
Linear ATextComputerTextAround this
Beyond inventions
🇨🇭Laughing TruthsBook
🇮🇹Dialogue Concerning the Two Chief World Systems: Ptolemaic and CopernicanBook
🇦🇹Geometric Regional NovelBook
🇸🇵CosmosBookLocomotionGame🇨🇭LeonardoGame🇨🇭
🇸🇵The Biggest Ideas in the Universe: Space, Time, and MotionBook
🇮🇹Leonardo's NotebooksBook
🇫🇷The Myth of Sisyphus and Other EssaysBook
🇧🇪The Life of the BeeBook
🇨🇳Tao Te ChingBook
🇫🇷CandideBook
🇵🇱SolarisBook
🇲🇩Living TissueBook
🇩🇪The History of RomeBookWorld tour
Same vibe, elsewhere
🇳🇱EthicsBook
🇮🇹Aquinas's Shorter SummaBook
🇫🇷BénédictineFood
🇮🇹Poems of LeopardiBook
🇬🇧Espresso martiniFood
🇩🇪The Communist ManifestoBook
🇮🇹The LeopardBook
🇫🇷Arsene Lupin, Gentleman BurglarBook
🇨🇦CaesarFood
🇩🇰Either/Or: A Fragment of LifeBook
🇫🇷Lafcadio's AdventuresBook
🇨🇦Book of LongingBook
🇱🇨OmerosBook
🇦🇹My View of the WorldBook
🇬🇪LobianiFood