Tag: category

• Categorical Semantics of Simply Typed Lambda Calculus

  Published:Oct 13, 2023

  The Curry-Howard-Lambek correspondence