4 ms·
inspired by https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf https://homepages.inf.ed.ac.uk/wadler/papers/prop
by 082349872349872 2y ago
inspired by https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...
- gsf_emergency_2 2y agoSeems like for OP, "(his translation/elaboration of) CP more optimal than GV" isn't just an opinion? Why might this be the case? Something to do with (: a handful of) results ">" arguments ?(A mouthful, pace Lichtenberg)