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