changeset 14 | 680070975206 |
13:0b4a5595cbe4 | 14:680070975206 |
---|---|
1 |
|
2 |
|
3 @INPROCEEDINGS{UrbanBierman99, |
|
4 AUTHOR = {C.~Urban and G.M.~Bierman}, |
|
5 TITLE = {{S}trong {N}ormalisation of {C}ut-{E}limination |
|
6 in {C}lassical {L}ogic}, |
|
7 BOOKTITLE = {Typed Lambda Calculi and Applications}, |
|
8 EDITOR = {J.-Y.~Girard}, |
|
9 PAGES = {365--380}, |
|
10 SERIES = {LNCS}, |
|
11 VOLUME = 1581, |
|
12 PUBLISHER = {Springer Verlag}, |
|
13 YEAR = 1999 |
|
14 } |
|
15 |