Compiling with Classical Connectives (2020) [pdf]

(pauldownen.com)

1 points | by 082349872349872 17 hours ago ago