Peirce's rule in natural deduction
Theoretical Computer Science
CPS Translations and Applications: The Cube and Beyond
Higher-Order and Symbolic Computation
Geometry of deduction via graphs of proofs
Logic for concurrency and synchronisation
Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion
Theoretical Computer Science - Implicit computational complexity
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Natural Deduction for Full S5 Modal Logic with Weak Normalization
Electronic Notes in Theoretical Computer Science (ENTCS)
Strong normalization of classical natural deduction with disjunction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
Fundamenta Informaticae - Logic, Language, Information and Computation
Hi-index | 0.00 |