Blog
About

18
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      A compact kernel for the calculus of inductive constructions

        , , ,

      Sadhana

      Springer Nature

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 3

          • Record: found
          • Abstract: not found
          • Article: not found

          CIC $widehat{~}$ Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            The Not So Simple Proof-Irrelevant Model of CC

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Open Proofs and Open Terms A Basis for Interactive Logic

                Bookmark

                Author and article information

                Journal
                Sadhana
                Sadhana
                Springer Nature
                0256-2499
                0973-7677
                February 2009
                July 16 2009
                February 2009
                : 34
                : 1
                : 71-144
                Article
                10.1007/s12046-009-0003-3
                © 2009
                Product

                Comments

                Comment on this article