Some properties of the -calculus. | 0 | 0.34 | 2012 |
A completeness result for the simply typed lambdaµ-calculus | 0 | 0.34 | 2009 |
A semantical proof of the strong normalization theorem for full propositional classical natural deduction | 9 | 0.63 | 2006 |
A Semantics of Realisability for the Classical Propositional Natural Deduction | 1 | 0.35 | 2005 |