View in EDS PDF Full Text

Nominal Sets : Names and Symmetry in Computer Science

Saved in:
Bibliographic Details
Title: Nominal Sets : Names and Symmetry in Computer Science
Description: Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
Authors: Andrew M. Pitts
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Syntax, Programming languages (Electronic computers)--Semantics
Categories: COMPUTERS / Languages / General
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 574874
RelevancyScore: 1051
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1050.81640625
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$574874$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$574874$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Nominal Sets : Names and Symmetry in Computer Science
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Andrew+M%2E+Pitts%22">Andrew M. Pitts</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Syntax%22">Programming languages (Electronic computers)--Syntax</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Semantics%22">Programming languages (Electronic computers)--Semantics</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Languages+%2F+General%22">COMPUTERS / Languages / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=574874
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.13
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Programming languages (Electronic computers)--Syntax
        Type: general
      – SubjectFull: Programming languages (Electronic computers)--Semantics
        Type: general
    Titles:
      – TitleFull: Nominal Sets : Names and Symmetry in Computer Science
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Andrew M. Pitts
      – PersonEntity:
          Name:
            NameFull: Andrew M. Pitts
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2013
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781107017788
            – Type: isbn-electronic
              Value: 9781107250079
          Numbering:
            – Type: volume
              Value: 00057
          Titles:
            – TitleFull: Nominal Sets : Names and Symmetry in Computer Science
              Type: main
ResultId 1