Morphisms and Partitions of V-sets

Richard Statman. Morphisms and Partitions of V-sets. In Georg Gottlob, Etienne Grandjean, Katrin Seyr, editors, Computer Science Logic, 12th International Workshop, CSL 98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1584 of Lecture Notes in Computer Science, pages 313-322, Springer, 1998.

Abstract

Abstract is missing.