COLLAPSING GRAPH MODELS BY PREORDERS

被引：0
|
作者：
HOOFMAN, R [1 ]
SCHELLINX, H [1 ]
机构：
[1] UNIV AMSTERDAM, DEPT MATH & COMP SCI, 1012 WX AMSTERDAM, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 530卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a strategy for obtaining extensional (partial) combinatory algebras by slightly modifying the well-known construction of graph models for the untyped lambda calculus. Using the notion of weak cartesian closed category an elegant interpretation of our construction in a category theoretical setting is given.
引用
收藏
页码：53 / 73
页数：21
相关论文
共 50 条
  • [31] Changing cofinalities and collapsing cardinals in models of set theory
    Kurilic, MS
    ANNALS OF PURE AND APPLIED LOGIC, 2003, 120 (1-3) : 225 - 236
  • [32] Entropy of gravitationally collapsing matter in FRW universe models
    Amarzguioui, M
    Gron, O
    PHYSICAL REVIEW D, 2005, 71 (08): : 1 - 8
  • [33] MULTIPARTY TESTING PREORDERS
    DE Nicola, R. O. C. C. O.
    Melgratti, HERNaN
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (01) : 1 - 31
  • [34] A logical characterization of efficiency preorders
    Korade, N
    Arun-Kumar, S
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 99 - 112
  • [35] Preorders, Partial Semigroups, and Quantales
    Nishizawa, Koki
    Yasuda, Koji
    Furusawa, Hitoshi
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2020, 12062 : 237 - 252
  • [36] On complete fuzzy preorders and their characterizations
    Ignacio Montes
    Susana Díaz
    Susana Montes
    Soft Computing, 2011, 15 : 1999 - 2011
  • [37] A Brauerian representation of split preorders
    Dosen, K
    Petric, Z
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (06) : 579 - 586
  • [38] On complete fuzzy preorders and their characterizations
    Montes, Ignacio
    Diaz, Susana
    Montes, Susana
    SOFT COMPUTING, 2011, 15 (10) : 1999 - 2011
  • [39] Index appearance record with preorders
    Jan Křetínský
    Tobias Meggendorfer
    Clara Waldmann
    Maximilian Weininger
    Acta Informatica, 2022, 59 : 585 - 618
  • [40] Index appearance record with preorders
    Kretinsky, Jan
    Meggendorfer, Tobias
    Waldmann, Clara
    Weininger, Maximilian
    ACTA INFORMATICA, 2022, 59 (05) : 585 - 618
12345