nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialComputational Category Theory
(2022) : D.E Rydeheard and R.M Burstall
url: https://www.cs.man.ac.uk/~david/categories/
#adjunction #category_theory #functional_programming #functors #standard_ML #toposes #unification
#my_bibtex
#adjunction #category_theory #functional_programming #functors #standard_ml #toposes #unification #my_bibtex
Last updated 2 years ago