A semantics of realisability for the classical propositional natural deduction
From MaRDI portal
Publication:2851691
zbMath1272.03152arXiv0905.1555MaRDI QIDQ2851691
Publication date: 2 October 2013
Full work available at URL: https://arxiv.org/abs/0905.1555
Related Items (2)
Strong normalization of classical natural deduction with disjunctions ⋮ A completeness result for the simply typed \(\lambda \mu \)-calculus
This page was built for publication: A semantics of realisability for the classical propositional natural deduction
