DIMACS - Graduate Student Combinatorics Seminar


Title: Lambda Calculus

Speaker: Nathaniel Shar, Rutgers University

Date: Wednesday, September 17, 2014 12:10pm

Location: Graduate Student Lounge, 7th Floor, Hill Center, Rutgers University, Busch Campus, Piscataway, NJ


Abstract:

The lambda calculus is the main competitor to the Turing machine model of computation. In addition to being of mathematical interest, it is also the inspiration for the so-called functional programming languages, like Lisp and Haskell. In this talk, I'll try to convince you that the lambda calculus is more elegant (or at least more interesting) than Turing machines. No prior knowledge of computer science is required

Further information can be found at http://math.rutgers.edu/~nhf12/GCS/