Author:
Coquand Thierry,Huber Simon
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference19 articles.
1. Abel, A., Coquand, Th., Dybjer, P.: Normalization by evaluation for martin-löf type theory with typed equality judgements. In: Proceedings of LICS ’07 (2007)
2. Abel, A., Scherer, G.: On irrelevance and algorithmic equality in predicative type theory. Logical Methods Comput. Sci. 8(1), 1–36 (2012)
3. Aczel, P.: On relating type theories and set theories. Types for proofs and programs. LNCS 1657, 1–18 (1998)
4. Adams, R.: Pure type systems with judgemental equality. J. Funct. Program. 16(2), 219–246 (2006)
5. Cardelli, L.: A polymorphic λ-calulus with type:type. SRC Research Report 10 (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献