The Gallery

Curry-Howard-Lambek correspondence