Speaker:
Bob McGrail
Title:
The Lambda Calculus
Abstract:
The lambda calculus is a formal mathematical system devised by Alonzo Church to investigate functions, function application, and recursion. It forms the operational core of many programming languages: Lisp, Haskell, Miranda, and ML. Hence, it has a good claim to be the prototype programming language. Moreover, variants of the lambda calculus are used to codify all of higher order logic.
Audience:
This talk will be appropriate for upper level mathematics majors and upper level computer science majors with strong mathematics backgrounds.
[Program
Information | Faculty | Mathematics Seminar | Mathematics Links]
[Math
Department Home Page | Marist
College]