Type class polymorphism in an institutional framework (2005)

by Lutz Schröder , Till Mossakowski , Christoph Lüth
Venue:IN JOSÉ FIADEIRO, EDITOR, 17TH WADT, LECTURE NOTES IN COMPUTER SCIENCE
Citations:12 - 7 self