[wand-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTpQNEQKNNdayskDOk/GSq1Q@xxxxxxxxxxxxxxxx]

Date: Mon, 14 Aug 89 15:47:08 EDT
From: Mitchell Wand 
<wand-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTlXN7HHkbuXM@xxxxxxxxxxxxxxxx>
To: lieber-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTlXN7HHkbuXM@xxxxxxxxxxxxxxxx, 
abbas@xxxxxxxxxxxxxxxxxxxxxxxxxxx,
        zywang-dryMzwA+bZdoAL7LN7WEl4dd74u8MsAO@xxxxxxxxxxxxxxxx, 
woolf@xxxxxxxxxxxxxxxx,
        oliva-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTlXN7HHkbuXM@xxxxxxxxxxxxxxxx, 
holland@xxxxxxxxxxxxxxxxxxxxxxxxxxx,
        riel-DMTVktDHDm5ObnrBt4yx7uYMHaKe9WOTlXN7HHkbuXM@xxxxxxxxxxxxxxxx, 
bwhite@xxxxxxx, muller@xxxxxxxxxxxx,
        kfoury-yxhbIRfuK6b2fBVCVOL8/A@xxxxxxxxxxxxxxxx, raf@xxxxxxxxxxxx, 
snyder@xxxxxxxxxxxx,
        trung-yxhbIRfuK6b2fBVCVOL8/A@xxxxxxxxxxxxxxxx, 
Esler%bucsf.bu.edu@xxxxxxxxxxxx,
        dsmith-psjVXkmwMxnkRhP8+e8VMA@xxxxxxxxxxxxxxxx, jmiller@xxxxxxxxxxxxxxx,
        mairson-psjVXkmwMxnkRhP8+e8VMA@xxxxxxxxxxxxxxxx, 
pmo%icad.uucp@xxxxxxxxxxxx,
        attend-types-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O@xxxxxxxxxxxxxxxx, 
attend-logic@xxxxxxxxxxxxxxxxxx,
        farmer-jkL4ws/oz7h2KNKLiPMURA@xxxxxxxxxxxxxxxx, 
lalita@xxxxxxxxxxxxxxxxxx
Subject: [riecke-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O@xxxxxxxxxxxxxxxx: This week's 
meeting]

Return-Path: <riecke-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O@xxxxxxxxxxxxxxxx>
Date: Mon, 14 Aug 89 13:42:47 EDT
From: riecke-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O@xxxxxxxxxxxxxxxx
To: logic-seminar-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O@xxxxxxxxxxxxxxxx
Subject: This week's meeting


The logic and types seminar will meet WEDNESDAY, August 16, from
12:30-2pm.  Albert will discuss work by Phil Wadler and others on using
logical relations to prove "parametrically polymorphic" equations in the
typed lambda calculus.
  The seminar will NOT meet Friday; we hope to meet once per week until
the end of the summer.

-Jon