Strange Loop Conference·43 min
Security researchers examine technical aspects of "Propositions as Types" by Philip Wadler.
propositiontypephilip+2
proposition
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
Strange Loop Conference·43 min
Security researchers examine technical aspects of "Propositions as Types" by Philip Wadler.