Equational -calculus (1985)

by D Niwinski
Venue:In Computation theory