-------------------------------------------------------------------------------
                                       
                                       
		   B O S T O N   U N I V E R S I T Y
                                       
		      Computer Science Department
                                       
			  C O L L O Q U I U M
                                       
		       Wednesday November 1, 1995
                                       
				 3:00pm
		       (Coffee served at 2:45pm)
                                       
			 Seminar Room / MCS 135
                                       

-------------------------------------------------------------------------------

	      The Lambda Calculus as an Abstract Data Type

			    Pierre Lescanne
			Director of Group Eureca
	      Centre de Recherche en Informatique en Nancy
			     Nancy, France

   Explicit substitutions offer a first-order presentation of lambda
   calculus and therefore make possible a description by a simple abstract
   data type.  It is a also a nice framework to speak about implementation
   issues.  In my lecture, I will present several calculi of explicit
   substitutions (some old and some new) and interesting properties of
   those calculi.

Host: Prof. Wayne Snyder
-------------------------------------------------------------------------------
For colloquium info, including directions, see http://cs-www.bu.edu/colloquium
   For more information contact Prof. Mark Crovella <crovella@bu.edu>
-------------------------------------------------------------------------------