Longchun Wang, Qingguo Li. A representation of proper BC domains based on conjunctive sequent calculi. Mathematical Structures in Computer Science, 30(1):1-13, 2020. [doi]
@article{WangL20-22, title = {A representation of proper BC domains based on conjunctive sequent calculi}, author = {Longchun Wang and Qingguo Li}, year = {2020}, doi = {10.1017/S096012951900015X}, url = {https://doi.org/10.1017/S096012951900015X}, researchr = {https://researchr.org/publication/WangL20-22}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {30}, number = {1}, pages = {1-13}, }