Curry–Howard correspondence

Subscribe In Itunes!

Learning to Think with Andy Hunt