dmm: (0)
Dataflow matrix machines (by Anhinga anhinga) ([personal profile] dmm) wrote 2022-01-02 02:09 am (UTC)

It turns out that "Introduction to higher order categorical logic" by Joachim Lambek and Philip J. Scott might be a better fit, and that one can usually find its PDF on the web...

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting