3 ms·
For a historical perspective, look at (in this order): 1. JoGo's OBJ and Maude: algebras on a rewrite engine https://cseweb.ucsd.edu/~goguen/sys/obj.html http
by mikhailfranco 2y ago
For a historical perspective, look at (in this order):
1. JoGo's OBJ and Maude: algebras on a rewrite engine
https://cseweb.ucsd.edu/~goguen/sys/obj.html https://cseweb.ucsd.edu/~goguen/sys/obj.html
2. SPECWARE: a Category Theory approach from SRI Kestrel Institute
https://www.specware.org/research/specware/ https://www.specware.org/research/specware/
https://github.com/KestrelInstitute/Specware/blob/master/Library/Base/Boolean.sw https://github.com/KestrelInstitute/Specware/blob/master/Lib...