talk · community record
Let Curry-Howard code for me
Meetup edition of the Curry-Howard talk, recorded by Pellucid (his then employer) at NY Scala.
01
Connections
1 relationship
Meetup edition of the Curry-Howard talk, recorded by Pellucid (his then employer) at NY Scala.
1 relationship