Tag: pl
De Bruijn indices for recursive functions
Published:Nameless representations for recursive functions
Categorical Semantics of Simply Typed Lambda Calculus
Published:The Curry-Howard-Lambek correspondence
Nameless representations for recursive functions
The Curry-Howard-Lambek correspondence