Semantics And Logics Of Computation by Andrew M. Pitts