Alonzo Church

entities · 1 notes linked

Related: Lambda Calculus · Computability Theory · Functional Programming

Notes