[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