Author:
Gutiérrez Francisco,Ruiz Blas
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. H. Geuvers, M.-J. Nederhof, Modular proof of Strong Normalization for the Calculus of Constructions, Journal of Functional Programming 1 (1991) 15–189.
2. H. P. Barendregt, Lambda Calculi with Types, in: S. Abramsky, D. Gabbay, T. S. Maibaum (Eds.), Handbook of Logic in Computer Science, Oxford University Press, 1992, Ch. 2.2, pp. 117–309.
3. F. Pfenning, Logical frameworks, in: A. Robinson, A. Voronkov (Eds.), Handbook of Automated Reasoning, Vol. II, Elsevier Science, 2001, Ch. 17, pp. 1063–1147.
4. H. P. Barendregt, H. Geuvers, Proof-assistants using dependent type systems, in: A. Robinson, A. Voronkov (Eds.), Handbook of Automated Reasoning, Vol. II, Elsevier Science, 2001, Ch. 18, pp. 1149–1238.
5. F. Gutiérrez, B. C. Ruiz, A Cut Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene, in: International Workshop on Logic Based Program Development and Transformation (LOPSTR’02), September 17–20, Madrid, Spain, Vol. (to appear) of LNCS, Springer-Verlag, 2003, http://polaris.lcc.uma.es/_blas/publicaciones/.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献