Last Name:

Seldin

First Name:

Jonathan

Title:

Emeritus Professor

Department:

Math & Computer Sci

Phone:

403-329-2364

Email:

jonathan.seldin@uleth.ca

Website:

Faculty:

Campus:

Languages:

English, French, Dutch, German

Research Expertise:

Lambda-calculus, combinatory logic, type assignment in both lambda-calculus and combinatory logic, work of H. B. Curry, Gentzen-Prawitz-style proof theory, history of mathematics, philosophy of mathematics

- Topics:
- History
- Mathematics
- Philosophy
- Work