Distributivity in Symmetric Constructive Full Lambek Calculus - Kozak, Michał (Mathematical Problems of Computer Science, 2021)
N/A