take a look
Oct. 14th, 2016 03:36 pmhttp://www.slideshare.net/debasishg/an-algebraic-approach-to-functional-domain-modeling
I'm afraid the guy is not very versatile with model theory and category theory. Reminds me someone.
(sigh)
I'm afraid the guy is not very versatile with model theory and category theory. Reminds me someone.
(sigh)