One approach to this problem consists in defining , within the Cut-free atomic-id space , normal form derivations in which the succession of rule application is regulated ( Konig 1989 , Hepple 1990 , Hendriks 1993 ) .
parsing as natural deduction
Esther Konig
For example , composition as above has the following alternative derivation : One approach to this problem consists in defining , within the Cut-free atomic-id space , normal form derivations in which the succession of rule application is regulated ( Konig 1989 , Hepple 1990 , Hendriks 1993 ) . Each sequent has a distinguished category formula ( underlined ) on which rule applications are keyed :
One approach to this problem consists in defining , within the Cut-free atomic-id space , normal form derivations in which the succession of rule application is regulated ( @@CITATION , Hepple 1990 , Hendriks 1993 ) .