Seldin, Jonathan
Title:
Emeritus Professor
Faculty:
Department:
Math & Computer Sci
Campus:
Lethbridge
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
Phone:
403-329-2364
Email:
jonathan.seldin@uleth.ca
- Topics:
- History
- Mathematics
- Philosophy
- Work