Author:
Ghani Neil,Johann Patricia,Fumex Clément
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. International Series in Computing Science;R.S. Bird,1997
2. Lecture Notes in Computer Science;R. Bird,1998
3. Coquand, T., Huet, G.: The Calculus of Constructions. Information and Computation 76(2-3), 95–120 (1988)
4. The Coq Proof Assistant, coq.inria.fr
5. Ghani, N., Johann, P.: Foundations for Structured Programming with GADTs. In: Proceedings, Principles of Programming Languages, pp. 297–308 (2008)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bisimulation as a logical relation;Mathematical Structures in Computer Science;2022-04
2. Deep Induction: Induction Rules for (Truly) Nested Types;Lecture Notes in Computer Science;2020
3. Deriving Logical Relations from Interpretations of Predicate Logic;Electronic Notes in Theoretical Computer Science;2019-11
4. From realizability to induction via dependent intersection;Annals of Pure and Applied Logic;2018-07
5. Generic derivation of induction for impredicative encodings in Cedille;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018