Règles admissibles en logique intuitionniste

• Admissible and derivable rules in intuitionistic logic, preliminary draft, final version in Math. Struct. in Comp. Science (1993), vol. 3, pp 129-136 Cambridge University Press.
• Règles admissibles en calcul propositionnel intuitionniste, thèse de doctorat soutenue le 13 mai 1992 sous la direction de Michel Parigot.
• Admissible rules and backward derivation in intuitionistic logic, translation of a part of my thesis (completeness for backward and forward derivation).
• Short presentation (slides) Utrecht may 2011