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

      The calculus of constructions

      ,
      Information and Computation
      Elsevier BV

      Read this article at

      ScienceOpenPublisher
          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
          Information and Computation
          Information and Computation
          Elsevier BV
          08905401
          February 1988
          February 1988
          : 76
          : 2-3
          : 95-120
          Article
          10.1016/0890-5401(88)90005-3
          78f42a3d-8a0f-460b-8702-9556d0d3dd9f
          © 1988

          http://www.elsevier.com/tdm/userlicense/1.0/

          http://www.elsevier.com/open-access/userlicense/1.0/

          History

          Comments

          Comment on this article