Time:  12:00  13:20 
Room: 
Scaife Hall 219

Speaker: 
Rick Statman Department of Mathematical Sciences Carnegie Mellon University 
Title: 
Cartesian monoids.

Abstract: 
Functional programming and equational specification have their roots in
the ideas of Herbrand, Godel, Church, Curry and Kleene carried up to
the present. The standard was articulated by Backus in his 1978 Turing
award lecture: "... a small framework which accommodates a great variety
of powerful features entirely as changeable parts." The notion of a
Cartesian monoid is a very simple framework. We will see that it
accommodates a great variety of powerful features as changeable parts.
The six steps:
