Finite axiomatizations of inductive and inductiverecursive definitions (1998)

by P DYBJER, A SETZER
Venue:Workshop on Generic Programming, Marstrand