Searching for "Sequentiality and Strong Stability" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Sequentiality in an Extensional Framework
by Antonio Bucciarelli, Thomas Ehrhard — 1993
…I-domains and stable functions 3 2 From sequentiality to strong stability 6 3 Strong stability 10 4 Extensionality 16 5…
Cited by 16 (5 self) – Add To MetaCart

Sequential algorithms and strongly stable functions
by Paul-André Melliès — 2003 — in the Linear Summer School, Azores
… and strong stability A model of “extensional sequential algorithms” is introduced in [Ehrhard 1997]. The idea…
Cited by 8 (3 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB