Project Update: Logics of Types and Computations
Dana Scott
Abstract