He Jifeng profile picture

He Jifeng

Advances in Computing Science - ASIAN 2000
Data Refinement in a Categorical Setting