Strange Loop Conference·35 min
Security researchers examine technical aspects of "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman.
prooftheoryimpressionism+3
impressionism
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…