Author:
Walukiewicz-Chrząszcz Daria,Chrząszcz Jacek
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Barbanera, F., Fernández, M., Geuvers, H.: Modularity of strong normalization in the algebraic-λ-cube. Journal of Functional Programming 7(6), 613–660 (1997)
2. Barendregt, H.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, ch. 2, pp. 117–309. Oxford University Press, Oxford (1992)
3. Lecture Notes in Computer Science;B. Barras,2005
4. Blanqui, F.: Definitions by rewriting in the Calculus of Constructions. Mathematical Structures in Computer Science 15(1), 37–92 (2005)
5. Lecture Notes in Computer Science;F. Blanqui,1999
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The taming of the rew: a type theory with computational assumptions;Proceedings of the ACM on Programming Languages;2021-01-04
2. Pattern matching coverage checking with dependent types using set approximations;Proceedings of the 2007 workshop on Programming languages meets program verification;2007-10-02
3. Towards Rewriting in Coq;Rewriting, Computation and Proof