Semantics and logics of computation - Pitts, A. M.; Dybjer, Peter; Pitts, Andrew M. (Publications of the Newton Institute ;, 1997)