Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains

Lankun Guo, Qingguo Li, Lingjuan Yao. Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains. Discrete Applied Mathematics, 249:53-63, 2018. [doi]

Authors

Lankun Guo

This author has not been identified. Look up 'Lankun Guo' in Google

Qingguo Li

This author has not been identified. Look up 'Qingguo Li' in Google

Lingjuan Yao

This author has not been identified. Look up 'Lingjuan Yao' in Google