Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Deep Inference and its Normal Form of Derivations

Speaker: Kai Brünnler


We see a notion of normal derivation for the calculus of structures,
  which is based on a factorisation of derivations and which is
  general than the traditional notion of cut-free proof in this

websites: Arnold Beckmann 2006-04-20