Constructive logics Part I: A tutorial on proof systems and typed λ-calculi

This publication has 7 references indexed in Scilit:

• Computational interpretations of linear logic
  Theoretical Computer Science, 1993
• Contraction-free sequent calculi for intuitionistic logic
  The Journal of Symbolic Logic, 1992
• On an interpretation of second order quantification in first order intuitionistic propositional logic
  The Journal of Symbolic Logic, 1992
• A new constructive logic: classic logic
  Mathematical Structures in Computer Science, 1991
• Linear logic
  Theoretical Computer Science, 1987
• The correspondence between cut-elimination and normalization
  Annals of Mathematical Logic, 1974
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967