'Understood computationally' diaporamas de présentation

On the Computational Representation of Classical Logical Connectives

On the Computational Representation of Classical Logical Connectives. Jayshan Raghunandan and Alexander Summers Department of Computing Imperial College London. Introduction. Curry-Howard Correspondence for Classical Logic Originally: notice calculi have a correspondence

2.85k views • 284 slides