Confluence of the Coinductive Lambda-Calculus (2001)

by Felix Joachimski
Citations:3 - 2 self