Full abstraction and universality via realisability

被引：0
|
作者：
Technische Universitat Darmstadt [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 174-182期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] ABSTRACTION AND UNIVERSALITY IN AQUINAS,THOMAS
    MEIXNER, U
    PHILOSOPHISCHES JAHRBUCH, 1994, 101 (01): : 22 - 37
  • [2] Denis Bowen The Universality of Abstraction
    Santacatterina, Stella
    THIRD TEXT, 2008, 22 (02) : 157 - 162
  • [3] Abstraction and Universality: About the Intercultural Dialogue of the "Creative Abstraction"
    Jiang, Dandan
    UNIVERSITAS-MONTHLY REVIEW OF PHILOSOPHY AND CULTURE, 2014, 41 (11): : 107 - 120
  • [4] Realisability of Pomsets via Communicating Automata
    Guanciale, Roberto
    Tuosto, Emilio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (279): : 37 - 51
  • [5] Conjunction on processes:: Full abstraction via ready-tree semantics
    Luettgen, Gerald
    Vogler, Walter
    THEORETICAL COMPUTER SCIENCE, 2007, 373 (1-2) : 19 - 40
  • [6] Definability and Full Abstraction
    Curien, Pierre-Louis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 301 - 310
  • [7] Full abstraction for Gamma
    Quiroz, FH
    PROCEEDINGS OF THE FIFTH MEXICAN INTERNATIONAL CONFERENCE IN COMPUTER SCIENCE (ENC 2004), 2004, : 20 - 26
  • [8] Full abstraction for Linda
    Di Giusto, Cinzia
    Gabbrielli, Maurizio
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 78 - 92
  • [9] Full abstraction for HOPLA
    Nygaard, M
    Winske, G
    CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 383 - 398
  • [10] Full abstraction by translation
    McCusker, G
    ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 252 - 263
12345