Language in action, categories, lambdas and dynamical logic. - North-Holland Publishing Comp., 1991. - ( Studies in Logic ; 130).