Tag: category theory

All the posts with the tag "category theory".

• Categorical Semantics of Simply Typed Lambda Calculus

  Published:Oct 13, 2023

  The Curry-Howard-Lambek correspondence