For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
13
views
21
references
 Top references
cited by
3
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,862
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques

      Author(s): , ,
      Publication date Created:
      Publication date (Print):
      Journal: Logic Journal of the IGPL
      Publisher: Oxford University Press (OUP)

      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

          Most cited references21

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

          Nominal logic, a first order theory of names and binding

          Andrew M. Pitts (2003)
          Article 0 comments Cited 61 times – based on 0 reviews     Review now
            • Record: found
            • Abstract: not found
            • Article: not found

            A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

            DALE MILLER (1991)
            Article 0 comments Cited 45 times – based on 0 reviews     Review now
              • Record: found
              • Abstract: not found
              • Article: not found

              Nominal unification

              Andrew M. Pitts, Christian Urban, Murdoch J. Gabbay (2004)
              Article 0 comments Cited 33 times – based on 0 reviews     Review now
                All references

                Author and article information

                Journal
                Title: Logic Journal of the IGPL
                Publisher: Oxford University Press (OUP)
                ISSN (Electronic): 1368-9894
                ISSN (Print): 1367-0751
                Publication date Created: December 01 2010
                Publication date (Print): December 01 2010
                Volume: 18
                Issue: 6
                Pages: 769-822
                Article
                DOI: 10.1093/jigpal/jzq006
                SO-VID: cef271be-3868-4918-9e98-59a3a08e4efc
                Copyright © © 2010
                History

                Data availability:

                Comments

                Comment on this article

                Related Documents Log