RESEARCH BASE
Search 3,717 documents across 34 fields — every claim tier-rated by evidence
23 results for "typed lambda calculus" — page 2 of 2
V_1_12 — Chinese Mathematics History
Chinese mathematics developed independently over at least 3,000 years, producing remarkable achievements often centuries before their European counterparts. The Jiuzhang Suanshu (Nine Chapters on the Mathematical Art, co
V_4_02 — Mathematical Economics
Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc
V_3_14 — Stochastic Processes: Random Walks, Markov Chains, and Brownian Motion
Stochastic processes — mathematical models of systems evolving randomly over time — provide the essential framework for understanding phenomena where uncertainty is intrinsic: the jittery motion of pollen grains in water
BROWSE BY SECTION — 3717 documents across 34 fields