[Prev][Next][Index][Thread]

[wand@corwin.ccs.northeastern.edu: [riecke@theory.LCS.MIT.EDU: This week's meeting]]

Date: Mon, 14 Aug 89 15:47:08 EDT
From: Mitchell Wand <wand@corwin.ccs.northeastern.edu>
To: lieber@corwin.ccs.northeastern.edu, abbas@corwin.ccs.northeastern.edu,
        zywang@bleys.lcs.mit.edu, woolf@eric.lcs.mit.edu,
        oliva@corwin.ccs.northeastern.edu, holland@corwin.ccs.northeastern.edu,
        riel@corwin.ccs.northeastern.edu, bwhite@umb.edu, muller@bu-cs.bu.edu,
        kfoury@bu-cs.bu.edu, raf@bu-cs.bu.edu, snyder@bu-cs.bu.edu,
        trung@bu-cs.bu.edu, Esler%bucsf.bu.edu@bu-cs.bu.edu,
        dsmith@cs.brandeis.edu, jmiller@cs.brandeis.edu,
        mairson@cs.brandeis.edu, pmo%icad.uucp@bu-it.bu.edu,
        attend-types@theory.LCS.MIT.EDU, attend-logic@theory.LCS.MIT.EDU,
        farmer@MBUNIX.MITRE.ORG, lalita@theory.LCS.MIT.EDU
Subject: [riecke@theory.LCS.MIT.EDU: This week's meeting]

Return-Path: <riecke@theory.LCS.MIT.EDU>
Date: Mon, 14 Aug 89 13:42:47 EDT
From: riecke@theory.LCS.MIT.EDU
To: logic-seminar@theory.LCS.MIT.EDU
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