personal page
GoogleScholar page
On term rewriting using gs-monoidal categories:
Created on December 20, 2023 at 10:11:49. See the history of this page for a list of all contributions to it.