We introduce sequentially Sr modules over a commutative graded ring and sequentially Sr simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre’s condition Sr . In analogy with the sequentially CohenMacaulay property, we show that a simplicial complex is sequentially Sr if and only if its pure i-skeleton...

We consider a notion of sequential functional of -nite type, more generous than the familiar notion embodied in Plotkin’s language PCF. We study both the “full” and “e4ective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in...