Author:
Naumov Pavel,Stehr Mark-Oliver,Meseguer José
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. B. Barras et al. The Coq Proof Assistant Reference Manual: Version 6.1. Technical Report RT-0203, INRIA, May 1997.
2. Lect Notes Comput Sci;S. Berghofer,2000
3. R.L. Constable et al. Implementing Mathematics with Nuprl Proof Development System. Prentice Hall, 1986.
4. T. Coquand and G. Huet. The calculus of constructions. Information and Computation, 76(2/3):95–120, 1988.
5. N.G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indag. Math., 34:381–392, 1972.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献