Recent and upcoming talks by Rick Statman

Rick Statman: Backus FP is Turing complete

Mathematical logic seminar – Feb 28 2017 Time:     3:30pm – 4:30 pm Room:     Wean Hall 8220 Speaker:         Rick Statman Department of Mathematical Sciences CMU Title:     Backus FP is Turing complete Abstract: Cartesian monoids are rather simple algebraic structures of which you know many examples. continue reading…

Rick Statman: Algebraic Structures Intrinsic to Functional Programming

Mathematical logic seminar – March 29 2016 Time:     12:30 – 13:30 Room:     Wean Hall 8220 Speaker:         Rick Statman Department of Mathematical Sciences CMU Title:     Algebraic Structures Intrinsic to Functional Programming Abstract: Lambda Calculus is the starting point of all functional programming. continue reading…

Rick Statman: An introduction to λ-calculus

Time:     12:30 – 13:30 Room:     Wean Hall 8220 Speaker:         Rick Statman Department of Mathematics CMU Title:     An introduction to λ-calculus Abstract: λ-calculus is that branch of logic which employs algebraic methods to study computer programs and the resulting computable functions. continue reading…

Rick Statman: introduction to λ-calculus

Mathematical logic seminar – November 11, 2014 Time: 12:30 – 13:30 Room: Wean Hall 8220 Speaker: Rick Statman Department of Mathematics CMU Title: An introduction to λ-calculus Abstract: λ-calculus is that branch of logic which employs algebraic methods to study computer programs and the resulting computable functions. continue reading…