Characterising Strongly Normalising Intuitionistic Sequent Terms.

José Espírito Santo Silvia Ghilezan Jelena Ivetic

Published in: TYPES (2007)

Keyphrases

natural deduction
probability distribution
modal logic
classical logic