The ideal model provides an interpretation for a rich type system, with polymorphism and recursion [12], but not a model of the typed λ-calculus. In search for a satisfactory semantics for λ-calculi with recursive and polymorphic types, it seems natural, then, to consider partial equivalence relations (pers) instead of ideals. As ideals are certain subsets of a universal domain D, we replace th...

Twenty-eight new species of Anastrepha are described and illustrated: A. acca (Bolivia, Peru), A. adami (Peru), A. amplidentata (Bolivia, Peru), A. annonae (Peru), A. breviapex (Peru), A. caballeroi (Peru), A. camba (Bolivia, Peru), A. cicra (Bolivia, Peru), A. disjuncta (Peru), A. durantae (Peru), A. echaratiensis (Peru), A. eminens (Peru), A. ericki (Peru), A. gonzalezi (Bolivia, Peru), A. gu...

BACKGROUND Annona muricata Linn which comes from Annonaceae family possesses many therapeutic benefits as reported in previous studies and to no surprise, it has been used in many cultures to treat various ailments including headaches, insomnia, and rheumatism to even treating cancer. However, Annona muricata Linn obtained from different cultivation area does not necessarily offer the same ther...

The present research aimed to investigate the phytochemical bioactive constituents and proximate composition of methanol extract Kigelia africana Annona senegalensis stem bark, as well its in vitro antidiabetic potential. results suggest that presence compounds may be responsible for numerous medicinal capacities these plants, including their abilities. bark extracts K. A. demonstrated strong α...

Annona senegalensis (Pers.) or Annone from Senegal is a species found in the West African savannah and para-littoral sands. It offers real possibilities of socio-economic use, particularly medical, nutritional, ecosystem conservation poverty alleviation fields. However, this wild remained not fully exploited despite its potentialities. As result, there need to regenerate species; therefore, vit...

Media massa dan wartawan merupakan dua sumber daya yang saling berhubungan. Perusahaan media tidak profesional berdampak negatif terhadap kehidupan pers. bagaikan mata pisau sehingga bisa dijadikan alat untuk kepentingan tertentu, bahkan melanggar hukum. mengedepankan kode etik jurnalistik mencoreng profesi jurnalis, cenderung hukum muncul stigma di tengah masyarakat wartawan. Adapun rumusan ma...

Annona squamosa has extensively been used in the traditional and folkloric medicine and found to possess many biological activities. Different solvents, petroleum ether, chloroform, ethyl acetate and methanol extracts of Annona squamosa seeds (ASPE, ASCH, ASEA, ASME) have been used to prepare plant extracts. The present investigations dealt with the free radical scavenging activity of four extr...