Basic category theory for models of syntax, Course notes for (2002)

by R. L. Crole
Venue:Summer School on Generic Programming, SSGP'02
Citations:4 - 1 self