cotalks.dev
Login
"Propositions as Types" by Philip Wadler
(link)
Event:
Strange Loop 2015
Channel:
Strange Loop Conference
unsorted
todo
resolved
completed
canceled
submit