Shelah's stability spectrum and homogeneity spectrum in finite diagrams Rami GrossbergOlivier Lessmann Pages: 1 - 31
A term rewriting characterization of the functions computable in polynomial space Isabel Oitavem Pages: 35 - 47
Strong normalization of a symmetric lambda calculus for second-order classical logic Yoriyuki Yamagata Pages: 91 - 99