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 条
  • [21] On iterating semiproper preorders
    Miyamoto, T
    JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1431 - 1468
  • [22] Syntax for split preorders
    Dosen, Kosta
    Petric, Zoran
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (04) : 443 - 481
  • [23] UNIVERSAL POSITIVE PREORDERS
    Badaev, S. A.
    Kalmurzayev, B. S.
    Kabylzhanova, D. K.
    Abeshev, K. Sh
    NEWS OF THE NATIONAL ACADEMY OF SCIENCES OF THE REPUBLIC OF KAZAKHSTAN-SERIES PHYSICO-MATHEMATICAL, 2018, 6 (322): : 49 - 53
  • [24] Splaying Preorders and Postorders
    Levy, Caleb C.
    Tarjan, Robert E.
    ALGORITHMS AND DATA STRUCTURES, WADS 2019, 2019, 11646 : 510 - 522
  • [25] Random preorders and alignments
    Cameron, Peter
    Kang, Mihyun
    Stark, Dudley
    DISCRETE MATHEMATICS, 2010, 310 (03) : 591 - 603
  • [26] DYNAMIC SYSTEM AND PREORDERS
    RUBINOV, AM
    DOKLADY AKADEMII NAUK SSSR, 1981, 256 (02): : 287 - 290
  • [27] Radiating-collapsing models satisfying Karmarkar condition
    Jaryal, Suresh C.
    EUROPEAN PHYSICAL JOURNAL C, 2020, 80 (07):
  • [28] LATTICE ANIMAL CONTACT MODELS OF A COLLAPSING BRANCHED POLYMER
    FLESIA, S
    GAUNT, DS
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1992, 25 (08): : 2127 - 2137
  • [29] Radiating-collapsing models satisfying Karmarkar condition
    Suresh C. Jaryal
    The European Physical Journal C, 2020, 80
  • [30] Higher dimensional collapsing and expanding models of anisotropic source
    Khan, Suhail
    Habib, Furqan
    Shah, Hassan
    Alkhaldi, Ali H.
    Ali, Akram
    RESULTS IN PHYSICS, 2021, 29
12345