Implicit definability of algebraic structures by means of program properties.

Jan A. Bergstra, Jerzy Tiuryn

Browse the full FCT paper archive.