BAD MSG: R. Blute, Ottawa P. Freyd, Univ Penn A. Joyal, Univ Quebec-Montreal P. Lincoln, SRI/Stanford Univ J. Mitchell, Stanford Univ D. Miller, Univ Penn V. Pratt, Stanford Univ J. Reynolds, Carnegie Mellon Univ A. Scedrov, Univ Penn P. Scott, Univ Ottawa N. Shankar, SRI G. Takeuti, Univ Illinois-Urbana