Workshop for Logic & Comp. Sci: Talk on Thursday, 7/2/92

• To: attend-types
• Subject: Workshop for Logic & Comp. Sci: Talk on Thursday, 7/2/92
• From: wymann@cs.bu.edu (Michael Wymann-Boeni)
• Date: Mon, 29 Jun 92 13:05:24 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Mon, 29 Jun 92 12:56:59 EDT
To: cjc@cs.bu.edu (Carl Covell), dgd@cs.bu.edu (David Durand),
        hbuhrman@cs.bu.edu (Harry Buhrman), homer@cs.bu.edu (Steve Homer),
        jahama@cs.bu.edu (Said Jahama), jbw@cs.bu.edu (Joe Wells),
        kfoury@cs.bu.edu (Assaf J. Kfoury), lynch@cs.bu.edu (Chris Lynch),
        mairson@crl.dec.com (Harry Mairson),
        meyer@theory.lcs.mit.edu (Albert Meyer),
        oira@cs.bu.edu (Alberto Oliart), snyder@cs.bu.edu (Wayne Snyder),
        tiuryn@cs.bu.edu (Jerzy Tiuryn), urzy@cs.bu.edu (Pawel Urzyczyn),
        wymann@cs.bu.edu (Michael Wymann-Boeni)

X-Mailer: ELM [version 2.3 PL11]

We restart our Workshop on Logic and Computer Science: 

On Thursday, July 2, 1992 (as usual at MCS 135 at 3:30) Pawel Urcyzyn will
give a talk with the title 

         Type Reconstruction in F_omega is Undecidable


Looking forward to meeting you again,

Michael

• Prev: Linear logic + weakening
• Next: confluence, conservativity and interpolation for typed lambda calculi
• Index(es):
  • Main
  • Thread