|
|
|
|
|
|
by PaulFB
3314 days ago
|
|
|
Goguen, so prolific! the ADJ group, OBJ, Maude, CafeOBJ, Clear, The Semiotic Zoo, Sheaves, Institutions. I understand maybe 5% of this stuff. Why has Goguen's work not sparked more research? Especially with the emphases on Algebraic Specification and Category theory? Is Goguen still ahead of his time? |
|
|