Title :
On strong stability and higher-order sequentiality
Author :
Colson, Loïc ; Ehrhard, Thomas
Author_Institution :
IGM, Univ. de Marne-la-Vallee, France
Abstract :
Proposes a definition (by reducibility) of sequentiality for the interpretations of higher-order programs and proves the equivalence between this notion and strong stability
Keywords :
formal logic; programming theory; set theory; stability; higher-order programs; higher-order sequentiality; reducibility; strong stability; Concrete; Game theory; Stability;
Conference_Titel :
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location :
Paris
Print_ISBN :
0-8186-6310-3
DOI :
10.1109/LICS.1994.316082
