An applicative theory for FPH
  In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time. 
Reinhard Kahle (CENTRIA and DM, FCT, Universidade Nova de Lisboa),   Isabel Oitavem (CMAF, Universidade de Lisboa and DM, FC...
cs.LO cs.CC