SIGNATURES AND INDUCTION PRINCIPLES FOR HIGHER INDUCTIVE-INDUCTIVE TYPES

Kaposi, A; Kovacs, A

Kaposi, A (corresponding author), Eotvos Lorand Univ, Dept Programming Languages & Compilers, Budapest, Hungary.

LOGICAL METHODS IN COMPUTER SCIENCE, 2020; 16 (1):

Abstract

Higher inductive-inductive types (HIITs) generalize inductive types of dependent type theories in two ways. On the one hand they allow the simultaneou......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索