Constructive Z | Journal of Logic and Computation | DeepDyve