Sign in

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

Lankun GuoQingguo LiLingjuan Yao
Published in: Discret. Appl. Math. (2018)
Keyphrases