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

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