â  â  ibn al-amid’s poetry â â â â â  s.f. mirghaderi * â  hossein kiani** â  â  abstract â  ibn al-amid is one of the most distinguished writers of the arabic literature who is believed, even by his contemporary critics, to be at the top of his profession due to the unique characteristics of his writings. besides being a writer, ibn al-amid also had a taste in composing poems. his poems are ...

â  â  â  â  abul-atahiya: his life and poems â  â mohammad ali otroshi shahreza * â  hossein kiani ** â  â abstract â abul-atahiya was born and grown up in kufa-iraq, a city chosen as the central city by shias and the abbasid dynasty publicized their government there. he lived in a period which slander was common so he kept company with adulterous people and acted dishonorably. he started compo...

Light Affine Logic (LAL) is a system due to Girard and Asperti capturing the complexity class P in a proof-theoretical approach based on Linear Logic. LAL provides a typing for lambda-calculus which guarantees that a well-typed program is executable in polynomial time on any input. We prove that the LAL type inference problem for lambda-calculus is decidable (for propositional LAL). To establis...