Authors: BERLINE C GRUE K

Citation: C. Berline et K. Grue, A KAPPA-DENOTATIONAL SEMANTICS FOR MAP THEORY IN ZFC PLUS SI, Theoretical computer science, 179(1-2), 1997, pp. 137-202