Two bisimilarities for the -calculus (1992)

by K Honda