SIGNALTUBE / HACKER NEWS

Search results for “curry-howard”

Search titles, channels, topics, and recommendation context.

"Propositions as Types" by Philip Wadler

Strange Loop Conference

2015 · 9 HN recs · 8 months

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions

2016 · 2 HN recs · 2 months

Showing 2 of 2 matching videos.