thinker
active
thinker:alonzo-church

Alonzo Church

Developed Lambda calculus as a formalization of computation

Authored
0
Introduces
0
Studies
0
Affiliations
0
Cited by
0

More papers — OpenAlex / S2

Other inbound relations (1)

Recent mentions (1)