DocumentCode
1996601
Title
On strong stability and higher-order sequentiality
Author
Colson, Loïc ; Ehrhard, Thomas
Author_Institution
IGM, Univ. de Marne-la-Vallee, France
fYear
1994
fDate
4-7 Jul 1994
Firstpage
103
Lastpage
108
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location
Paris
Print_ISBN
0-8186-6310-3
Type
conf
DOI
10.1109/LICS.1994.316082
Filename
316082
Link To Document