Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abel, A.: Towards Normalization by Evaluation for the Calculus of Constructions (Extended Version). Available on the author’s homepage (2010)
2. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. JFP 1(4), 375–416 (1991)
3. Abel, A., Coquand, T., Dybjer, P.: Normalization by evaluation for Martin-Löf Type Theory with typed equality judgements. In: LICS 2007, pp. 3–12. IEEE CS Press, Los Alamitos (2007)
4. Lecture Notes in Computer Science;A. Abel,2008
5. Lecture Notes in Computer Science;A. Abel,2009
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Martin-Löf à la Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Normalization by evaluation for sized dependent types;Proceedings of the ACM on Programming Languages;2017-08-29
3. NORMALISATION BY EVALUATION FOR TYPE THEORY, IN TYPE THEORY;LOG METH COMPUT SCI;2017
4. Pure type systems with explicit substitutions;Journal of Functional Programming;2015
5. Pure Type System conversion is always typable;Journal of Functional Programming;2012-03