A representation of proper BC domains based on conjunctive sequent calculi.

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases