Cσ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness
Date:2021-04-09 clicks:
Affiliation of Author(s):数学科学学院
Journal:Electronic Notes in Theoretical Computer Science
Co-author:赵东升
First Author:XLS
Indexed by:Unit Twenty Basic Research
Volume:第345卷
Page Number:249-260
Translation or Not:no