Author:
Chicli Laurent,Pottier Loïc,Simpson Carlos
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. F. Barbanera and S. Berardi. Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. Journal of Functional Programming, pages 519–525, 1996.
2. G. Barthe. Extensions of pure type systems. In M. Dezani-Ciancaglini and G. Plotkin, editors, Proceedings of TLCA’95, volume 902, pages 16–31. Springer-Verlag, 1995.
3. E. Bishop. Foundations of Constructive Analysis McGraw-Hill, 1967.
4. S. Boutin. Réflexions sur les quotients. PhD thesis, Thèse de doctorat, Université de Paris 7, 1997.
5. Constructive truth in parctice. In H.G. Dales and G. Oliveri, editors, Truth in Mathmatics. Oxford University Press, 1998.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献