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 |