Author:
Toronto Neil,McCarthy Jay
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abbott, S.: Understanding Analysis. Springer (2001)
2. Aczel, P.: An introduction to inductive definitions. Studies in Logic and the Foundations of Mathematics 90, 739–782 (1977)
3. Barras, B.: Sets in Coq, Coq in sets. Journal of Formalized Reasoning 3(1) (2010)
4. Berline, C., Grue, K.: A κ-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science 179(1-2), 137–202 (1997)
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer (2004),
http://www.labri.fr/publications/l3a/2004/BC04
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. BNF-Style Notation as It Is Actually Used;Lecture Notes in Computer Science;2019
2. Running Probabilistic Programs Backwards;Programming Languages and Systems;2015