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

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

      Logic for Programming, Artificial Intelligence, and Reasoning

      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

          Author and article information

          Journal
          10.1007/11916277_18

          Theoretical computer science,Programming languages,Computer science
          Theoretical computer science, Programming languages, Computer science

          Comments

          Comment on this article