Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by