Computability in Europe 2006
Logical Approaches to Computational Barriers


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


Speaker: Kai Brünnler

Abstract

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


websites: Arnold Beckmann 2006-04-20