Charles said:
Richard.Hein said:
*snip*

This is in the works Smiley A new series of Lectures on category theory, "Category 9", with Erik Meijer and peers. How does that sound? Lamda Calculus as well.

 

Stay tuned.


C

Fantastic! Smiley