Comment Comment by sz The more abstract the better! I love category theory.Curry-Howard isomorphism blew my mind when I read about it; that's the sort of thing I'd like to read about. Do you know of any good treatments from the lambda calculus perspective? parent sz 16 years ago
Curry-Howard isomorphism blew my mind when I read about it; that's the sort of thing I'd like to read about. Do you know of any good treatments from the lambda calculus perspective?