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 条
  • [1] Graph collapsing in shortest path auction algorithms
    Cerulli, R
    Festa, P
    Raiconi, G
    COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2001, 18 (03) : 199 - 220
  • [2] Graph Collapsing in Shortest Path Auction Algorithms
    R. Cerulli
    P. Festa
    G. Raiconi
    Computational Optimization and Applications, 2001, 18 : 199 - 220
  • [3] Radiating collapsing relativistic models
    Sharif, M.
    Bhatti, M. Zaeem Ul Haq
    PHYSICA SCRIPTA, 2014, 89 (08)
  • [4] Chemical models of collapsing envelopes
    Bergin, EA
    ASTROCHEMISTRY: FROM MOLECULAR CLOUDS TO PLANETARY SYSTEMS, 2000, (197): : 51 - 60
  • [5] COVERING GRAPH OF AN ORDERED SET - EXAMPLE OF TOTAL PREORDERS AND PARTITIONS OF A FINITE SET
    BARTHELEMY, JP
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 286 (20): : 859 - 861
  • [6] Convergence of spectra of mesoscopic systems collapsing onto a graph
    Kuchment, P
    Zeng, HB
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2001, 258 (02) : 671 - 700
  • [7] Generalized junction conditions for collapsing models
    Govender, G.
    Maharaj, S. D.
    Govender, M.
    VISHWA MIMANSA: AN INTERPRETATIVE EXPOSITION OF THE UNIVERSE. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON GRAVITATION AND COSMOLOGY, 2014, 484
  • [8] COLLAPSING THE HIERARCHY OF PARALLEL COMPUTATIONAL MODELS
    Bruda, Stefan D.
    Zhang, Yuanqiao
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (03) : 441 - 457
  • [9] COLLAPSING CARDINALS IN MODELS OF SET THEORY
    BARWISE, J
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 359 - &
  • [10] COLLAPSING CLOUD MODELS FOR BOK GLOBULES
    VILLERE, KR
    BLACK, DC
    ASTROPHYSICAL JOURNAL, 1980, 236 (01): : 192 - 200
12345