Confluence of the Coinductive [Lambda]-Calculus (2004)

by F Joachimski
Venue:Theoretical Computer Science