Blog

• De Bruijn indices for recursive functions

  Published:Jan 15, 2024

  Nameless representations for recursive functions

• Categorical Semantics of Simply Typed Lambda Calculus

  Published:Oct 13, 2023

  The Curry-Howard-Lambek correspondence