Polynomial Models of Type Theory

被引：0
|
作者：
von Glehn, Tamara [1 ]
机构：
[1] Univ Cambridge, Cambridge, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 275期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] ELABORATION OF THE ENGINEERING THEORY OF TWT OF O-TYPE ON THE BASIS OF POLYNOMIAL-MODELS
    ZHELEZOVSKY, BE
    KOZYREV, AP
    RADIOTEKHNIKA I ELEKTRONIKA, 1980, 25 (01): : 140 - 149
  • [2] A REPRESENTATION THEORY FOR POLYNOMIAL COFRACTIONALITY IN VECTOR AUTOREGRESSIVE MODELS
    Franchi, Massimo
    ECONOMETRIC THEORY, 2010, 26 (04) : 1201 - 1217
  • [3] Algebraic models of simple type theories A polynomial approach
    Arkor, Nathanael
    Fiore, Marcelo
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 88 - 101
  • [4] A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
    Finster, Eric
    Mimram, Samuel
    Lucas, Maxime
    Seiller, Thomas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 67 - 83
  • [5] Towards Formalizing Categorical Models of Type Theory in Type Theory
    Buisse, Alexandre
    Dybjer, Peter
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 196 : 137 - 151
  • [6] Dialectica models of type theory
    Moss, Sean K.
    von Glehn, Tamara
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 739 - 748
  • [7] Distributionally robust optimization with polynomial densities: theory, models and algorithms
    de Klerk, Etienne
    Kuhn, Daniel
    Postek, Krzysztof
    MATHEMATICAL PROGRAMMING, 2020, 181 (02) : 265 - 296
  • [8] TYPE THEORY AND MODELS OF SET-THEORY
    MIJOULE, R
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (10): : 733 - 735
  • [9] Distributionally robust optimization with polynomial densities: theory, models and algorithms
    Etienne de Klerk
    Daniel Kuhn
    Krzysztof Postek
    Mathematical Programming, 2020, 181 : 265 - 296
  • [10] Polynomial sequences of binomial-type arising in graph theory
    Schneider, Jonathan
    ELECTRONIC JOURNAL OF COMBINATORICS, 2014, 21 (01):
12345