misc

Good article on linear logic: https://en.wikipedia.org/wiki/Linear_logic
(better than what John and Mike wrote in "Rosetta")

This morning eventually understood how lambda is modeled in pi calculus.
Now the question is, if pi is implementable in Erlang (which, kind of, is jus pi), or in (Scala) Actors, why not implement lambda in actors?

Will give it to my students, as a project.

Meaning, I can do it, but I'm too lazy/busy.

Also, while hiking in the hills (9 miles, 1300 ft - no big deal, but we are exhausted) understood that for a well-pointed category monad strength comes "naturally", meaning that this is why Haskell monads are applicative functors. Will write details separately.

Also, what should we do with ziplists? Are there any other strengths? A category of strengths for a given monad, maybe?

Anyway, have to go read linear logic stuff, this coming Friday we are having our first linear logic meetup at BACAT. 18 people have signed up, weird.

Etc.