Cite This Page

Bibliographic details for Curry-Howard-Lambek correspondence