Events Tagged: "lambda calculus"

2 events with tag "lambda calculus"

1936 ID: 370
Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus
ID: 370
Princeton University
1936 ID: 4487
Alonzo Church independently develops lambda calculus for computability
ID: 4487