Computability in Europe 2006
Logical Approaches to Computational Barriers
Special Session Talk:
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|