Report copyright - Two Denotational Interpretations of Proofs in Classical Logic...LORIA and INRIA Nancy { Grand Est Abstract. In this paper we present and compare two interpretations of classical logic
Please pass captcha verification before submit form