P98-1088 regarding term assignment and proof normalisation for linear logic . for the implicational
E95-1019 , but more critically sequent proof normalisation leaves the non-determinism of
E95-1019 standard " approach , via sequent proof normalisation , we outline the relevant features
E95-1019 for L -- { . L } , by sequent proof normalisation ( Konig , 1989 ; Hepple , 1990
hide detail