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

1988 FOCS




As a member of the 1988 IEEE symp. on Foundations of
Computer Science program committee, I would like to 
encourage the submission of high quality papers on
logic, semantics, and type-theoretic topics of current
interest. 

John Mitchell