↑
←
→
8.2: Type algebra, Curry-Howard-Lambek isomorphism
Notes from
this youtube video