G. Barthe and F. van Raamsdonk. Constructor subtyping in the calculus of inductive constructions. In Proceedings of the 3rd International Conference on Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science 1784, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Weak Transitivity in Coercive Subtyping - Zhaohui (2001) (Correct)
.... et al. [BCGS91] Bailey, Saibi, and Callaghan s respective implementations of coercions in the proof systems Lego, Coq and Plastic are important contributions [Bai98,Sai97,CL01] Barthe and his colleagues have studied constructor subtyping and its possible applications in proof systems [BF99,BvR00] A recent logical study of subtyping in system F can be found in [LMS95] and Chen has studied the issue of transitivity elimination in that framework [Che98] One of Chen s proof methods was used in one of our earlier papers [LL01] to prove the admissibility of transitivity in the framework of ....
G. Barthe and F. van Raamsdonk. Constructor subtyping in the calculus of inductive constructions. Proceedings of FOSSACS'00, LNCS 1784, 2000.
A Type-Based Termination Criterion for Dependently-Typed.. - Blanqui (2004) (2 citations) (Correct)
No context found.
G. Barthe and F. van Raamsdonk. Constructor subtyping in the calculus of inductive constructions. In Proceedings of the 3rd International Conference on Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science 1784, 2000.
Combining Incoherent Coercions for Σ-types - Luo, Luo (Correct)
No context found.
G. Barthe and F. van Raamsdonk. Constructor subtyping in the calculus of inductive constructions. Proceedings of FOSSACS'00, LNCS 1784, 2000.
Hierarchical Reflection - Cruz-Filipe, Wiedijk (Correct)
No context found.
Gilles Barthe and Femke van Raamsdonk. Constructor subtyping in the Calculus of Inductive Constructions. In Jerzy Tiuryn, editor, Proceedings 3rd Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS'2000, Berlin, Germany, 25 March { 2 Apr 2000, volume 1784, pages 17-34, Berlin, 2000. Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC