D co-algebraic ~ D has properties 11, I2) S u p p o s e D a n d D--4D are co-algebraic cpo^ t h e n D has properties 11 a n d 12.

Download PDF sample

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings by Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

by Paul

Rated 4.29 of 5 – based on 13 votes