Fixed point calculus applied to generic programming: Part 1 (1998)

by Roland Backhouse
Venue:In Zoltan Esik, editor, Proceedings, Workshop on Fixed Points in Computer Science