Axiomatizing permutation equivalence in the - calculus (1992)

by C Laneve, U Montanari
Venue:In 3 th Int. Conf. on Algebraic and Logic Programming