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

      An extension of the basic functionality theory for the $\lambda$-calculus.

      ,
      Notre Dame Journal of Formal Logic
      Notre Dame Journal of Formal Logic

      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
          Notre Dame Journal of Formal Logic
          Notre Dame J. Formal Logic
          Notre Dame Journal of Formal Logic
          0029-4527
          October 1980
          October 1980
          : 21
          : 4
          : 685-693
          Article
          10.1305/ndjfl/1093883253
          91713fde-3942-4ce0-9e79-546bb85ade24
          © 1980
          History

          Comments

          Comment on this article