s

Linear logic is a logic of actions which seems well suited to various computer science applications. From its intrinsic ability to reeect computational resources, it is possible to reene diierent programming paradigms like formulae-as-types (proofs-as-programs) or formulae-as-states (proofs-as-computations) with a ner control on resource management. In the latter case, the correspondence betwee...

The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...

Effect systems are lightweight extensions to type that can verify a wide range of important properties with modest developer burden. But our general understanding effect is limited primarily where the order effects irrelevant. Understanding such in terms semilattice grounds essential issues and provides guidance when designing new systems. By contrast, sequential systems—where important—lack an...

Eggplant (Solanum melongena) is amenable to grafting and this technique can be exploited to improve production of this vegetable crop. Here, we study the performance of the ‘Cristal F1’ eggplant cultivar grafted onto a total of 17 rootstocks, including five families, each of which is made by two parents and their hybrid, as well a commercial eggplant rootstock and a self-grafted control. Three ...

Let S-Set be the category of $S$-sets, sets together with the actions of a semigroup $S$ on them. And, let S-Pos be the category of $S$-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class i...