Adjunct
Mathematics & Computer Science
- Phone
- (403) 329-2364
- Email
- jonathan.seldin@uleth.ca
Research Areas
The relation between Church-style typing and Curry-style typing
beta-strong reduction in combinatory logic
implications of Gödel's incompleteness results for informal reasoning
Curry's attitude towards Popper
normalization of natural deduction proofs.
Previous Research Areas
history and philosophy of mathematics
history and philosophy of the work of H. B. Curry
implications of Gödel's incompleteness results for informal reasoning
proof theory
combinatory logic
Lambda-calculus pure and typed
Expertise
history and philosophy of mathematics
proof theory
combinatory logic
Lambda-calculus