14
|
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 |
|