Completeness of Nominal PROPs

Samuel Balco, Alexander Kurz 0001. Completeness of Nominal PROPs. Logical Methods in Computer Science, 19(1), 2023. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: