Publications/tlca-99.bib
changeset 14 680070975206
equal deleted inserted replaced
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