Type theory via exact categories extended abstract

被引：0
|
作者：
Birkedal, L [1 ]
Carboni, A [1 ]
Rosolini, G [1 ]
Scott, DS [1 ]
机构：
[1] CMU, Sch Comp Sci, Pittsburgh, PA USA
来源：
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1998年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Partial equivalence relations (and categories of these) are a standard tool in semantics of type theories and programming languages, since they often provide a cartesian closed category with extended definability. Using the theory of exact categories, we give a category-theoretic explanation of why the construction of a category of partial equivalence relations often produces a cartesian closed category. We show how several familiar examples of categories of partial equivalence relations fit into the general framework.
引用
收藏
页码：188 / 198
页数：11
相关论文
共 50 条
  • [21] μ-calculus via Games -: (Extended Abstract)
    Niwinski, D
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 27 - 43
  • [22] Exact Algorithms for the Bottleneck Steiner Tree Problem (Extended Abstract)
    Bae, Sang Won
    Choi, Sunghee
    Lee, Chunseok
    Tanigawa, Shin-ichi
    [J]. ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2009, 5878 : 24 - +
  • [23] On the K-theory of hermitian additive and exact categories
    Hornbostel, J
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1999, 329 (06): : 469 - 474
  • [24] A Proof Theory for Model Checking: An Extended Abstract
    Heath, Quentin
    Miller, Dale
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (238): : 1 - 10
  • [25] Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
    Sheng, Ying
    Zohar, Yoni
    Ringeissen, Christophe
    Lange, Jane
    Fontaine, Pascal
    Barrett, Clark
    [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4829 - 4833
  • [26] A theory for Valiant's matchcircuits (extended abstract)
    Li, Angsheng
    Xia, Mingji
    [J]. STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2008, : 491 - 502
  • [27] Extended abstract theory of universal series and applications
    Hadjiloucas, Demetris
    [J]. MONATSHEFTE FUR MATHEMATIK, 2009, 158 (02): : 151 - 178
  • [28] TOWARDS A THEORY OF SOFTWARE PROTECTION (EXTENDED ABSTRACT)
    GOLDREICH, O
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 263 : 426 - 439
  • [29] A Semantic Theory of the Internet of Things (Extended Abstract)
    Lanotte, Ruggero
    Merro, Massimo
    [J]. COORDINATION MODELS AND LANGUAGES, 2016, 9686 : 157 - 174
  • [30] A proof theory for generic judgments: An extended abstract
    Miller, D
    Tiu, A
    [J]. 18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 118 - 127
12345