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 条
  • [41] Compliance Preorders for Web Services
    Bugliesi, Michele
    Macedonia, Damian
    Pino, Luca
    Rossi, Sabina
    WEB SERVICES AND FORMAL METHODS, 2010, 6194 : 76 - 91
  • [42] Preorders on Monads and Coalgebraic Simulations
    Katsumata, Shin-ya
    Sato, Tetsuya
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 145 - 160
  • [43] Filtral preorders and opportunity inequality
    Savaglio, Ernesto
    Vannucci, Stefano
    JOURNAL OF ECONOMIC THEORY, 2007, 132 (01) : 474 - 492
  • [44] Representing preorders with injective monotones
    Hack, Pedro
    Braun, Daniel A.
    Gottwald, Sebastian
    THEORY AND DECISION, 2022, 93 (04) : 663 - 690
  • [45] Dynamic graph models
    Harary, F
    Gupta, G
    MATHEMATICAL AND COMPUTER MODELLING, 1997, 25 (07) : 79 - 87
  • [46] GRAPH THEORETIC MODELS
    HARARY, F
    THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 117 - 121
  • [47] Easiness in graph models
    Berline, C
    Salibra, A
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 4 - 23
  • [48] Graph Language Models
    Plenz, Moritz
    Frank, Anette
    PROCEEDINGS OF THE 62ND ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, VOL 1: LONG PAPERS, 2024, : 4477 - 4494
  • [49] Graph models for codes
    Li, Ting
    Liang, Heng
    Proceedings of the First International Conference on Information and Management Sciences, 2002, 1 : 232 - 234
  • [50] A Behavioural Theory for a π-calculus with Preorders
    Hirschkoff, Daniel
    Madiot, Jean-Marie
    Xu, Xian
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2015, 2015, 9392 : 143 - 158
12345