Sequentiality in bounded biorders

被引：0
|
作者：
Laird, J [1 ]
机构：
[1] Univ Sussex, Dept Informat, Brighton BN1 9RH, E Sussex, England
来源：
FUNDAMENTA INFORMATICAE | 2005年 / 65卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We study a notion of bounded stable biorder, showing that the monotone and stable functions on such biorders are sequential. We construct bounded biorder models of a range of sequential, higher-order functional calculi, including unary PCF, (typed and untyped) call-by-value and lazy lambda-calculi, and non-deterministic SPCF We prove universality and full abstraction results for these models by reduction to the case of unary PCF, for which we give a simple new argument to show that any order-extensional and sequential model is universal.
引用
收藏
页码：173 / 191
页数：19
相关论文
共 50 条
  • [31] The Compoundness and Sequentiality of Digital Inequality
    Van Deursen, Alexander J. A. M.
    Helsper, Ellen J.
    Eynon, Rebecca
    Van Dijk, Jan A. G. M.
    [J]. INTERNATIONAL JOURNAL OF COMMUNICATION, 2017, 11 : 452 - 473
  • [32] The Effect of Sequentiality on Cooperation in Repeated Games
    Ghidoni, Riccardo
    Suetens, Sigrid
    [J]. AMERICAN ECONOMIC JOURNAL-MICROECONOMICS, 2022, 14 (04) : 58 - 77
  • [33] ON SEQUENTIALITY OF SPACES OF CONTINUOUS-FUNCTIONS
    PYTKEEV, EG
    [J]. RUSSIAN MATHEMATICAL SURVEYS, 1982, 37 (05) : 190 - 191
  • [34] On sequentiality and well-bracketing in the π-calculus
    Hirschkoff, Daniel
    Prebet, Enguerrand
    Sangiorgi, Davide
    [J]. 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [35] On Applicative Similarity, Sequentiality, and Full Abstraction
    Crubille, Raphaelle
    Dal Lago, Ugo
    Sangiorgi, Davide
    Vignudelli, Valeria
    [J]. CORRECT SYSTEM DESIGN: SYMPOSIUM IN HONOR OF ERNST-RUDIGER OLDEROG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2015, 9360 : 65 - 82
  • [36] THE SEQUENTIALITY OF KOHLBERG STAGES OF MORAL DEVELOPMENT
    WALKER, LJ
    [J]. CHILD DEVELOPMENT, 1982, 53 (05) : 1330 - 1336
  • [37] SEQUENTIALITY - SKILL PREREQUISITE TO NUMBER CONCEPTS
    KIMMELL, GM
    [J]. ACADEMIC THERAPY, 1970, 6 (02): : 213 - 215
  • [38] Sequentiality: A novel use of the perfect in Ga
    Campbell, Akua
    [J]. STUDIES IN LANGUAGE, 2024,
  • [39] Implication representation of fuzzy biorders, traces and weak orders
    Sali, AC
    [J]. FUZZY SETS AND SYSTEMS, 2003, 134 (02) : 297 - 303
  • [40] Documentscape: Intertextuality, Sequentiality, & Autonomy at Work
    Christensen, Lars Rune
    Bjorn, Pernille
    [J]. 32ND ANNUAL ACM CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI 2014), 2014, : 2451 - 2460
12345