Coalgebraic structures in program construction (2002)

by L S Barbosa
Venue:In 6th Brazilian Symposium on Programming Languages, SBLP’2002