In this paper we show how the abstract behaviours of higherorder systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging peculiarity to be circularly defined with their own final coalgebra. Our main contribution is a general construction for defining these functors, solving this circularity which is the essence of higher-order behaviours...

SUMMARY We present a new solution to the tree drawing problem that integrates an excellent tree drawing algorithm into one of the best text processing systems available. More precisely, we present a T E X macro package called TreeT E X that produces drawings of trees from a purely logical description. Our approach has three advantages: labels for nodes can be handled in a reasonable way; portin...

The study investigated the nutritive elements of four species Basella and two other commonly eaten vegetables (Amaranthus hybridus Talinum triangulare). are found throughout year. mineral compostion was carried out using standard procedures to determine which these would be more health benefit consumers. Leaves were collected at initiation flowering air-dried under shade for 7 days after they k...

Numerous studies done on some parts of Napoleona imperialis plant extracts but there is still paucity information the proximate composition and nutritive values stem bark. Objective: This to evaluate composition, vitamins, micro macro elements Methods: Determination proximate, bark was using standard methods. Results: study showed that Carbohydrate had highest concentration 59.540% followed by ...