Semantics And Logics Of Computation door Andrew M. Pitts