Tag: 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