A UNIFYING THEORY OF DEPENDENT TYPES - THE SCHEMATIC APPROACH

被引：0
|
作者：
LUO, ZH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 620卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：293 / 304
页数：12
相关论文
共 50 条
  • [1] Unifying Sets and Programs via Dependent Types
    Moczydlowski, Wojciech
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 365 - 379
  • [2] Unifying sets and programs via dependent types
    Moczydlowski, Wojciech
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 789 - 808
  • [3] Schematic homotopy types and non-abelian Hodge theory
    Katzarkov, L.
    Pantev, T.
    Toen, B.
    COMPOSITIO MATHEMATICA, 2008, 144 (03) : 582 - 632
  • [4] UNIFYING APPROACH TO BLOOD FLOW THEORY
    EVANS, RL
    JOURNAL OF THEORETICAL BIOLOGY, 1962, 3 (03) : 392 - &
  • [5] Camptodactyly: A unifying theory and approach to surgical treatment
    Smith, PJ
    Grobbelaar, AO
    JOURNAL OF HAND SURGERY-AMERICAN VOLUME, 1998, 23A (01): : 14 - 19
  • [6] Unifying Procedure-Dependent Preference Reversals: Theory and Experiments
    Guo, Liang
    MANAGEMENT SCIENCE, 2024, 70 (11) : 8163 - 8186
  • [7] A nominal theory of objects with dependent types
    Odersky, M
    Cremet, V
    Röckl, C
    Zenger, M
    ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 201 - 224
  • [8] UNDECIDABILITY OF EXISTENCE OF A UNIFYING SUBSTITUTION BETWEEN 2 TERMS IN SIMPLE THEORY OF TYPES
    HUET, GP
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (04): : A534 - &
  • [9] A unifying theory
    Vulto, Arnold G.
    EJHP PRACTICE, 2011, 17 (03): : 9 - 9
  • [10] Implicatures: a schematic approach
    Cooren, F
    Sanders, RE
    JOURNAL OF PRAGMATICS, 2002, 34 (08) : 1045 - 1067
12345