Curry-Howard-Lambek correspondence
cosmos
27th October 2017 at 5:08pm
Category theory
https://www.cs.ox.ac.uk/teaching/materials17-18/catsproofsprocs/handout_6.pdf