rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Games and full abstraction for a functional metalanguage with recursive types
  name:
    name part: McCusker, G. (Guy)
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1998
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xiii, 189 pages) : illustrations.
  abstract: The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. This book develops a theory of game semantics, a recently discovered setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with rich type structure, and applies it to constr uct a fully abstract model of the metalanguage FPC.
  table of contents: Introduction -- Full Abstraction -- Game Semantics -- Historical Perspective -- Contribution of This Book -- Prerequisites -- Preliminaries -- Enriched Category Theory -- Intrinsic Preorder -- Games -- Arenas, Views and Legal Positions -- Games and Strategies -- The Category -- Exponential -- A Cartesian Closed Category -- An Alternative Category -- The Extensional Category -- Sums -- Lifting -- Rational Categories and Recursive Types -- Rational Categories -- Recursive Types -- Invariant Relations -- Parameterized Invariant Relations -- IP-Categories -- Axioms for Rationality -- FPC and its Models -- The Language FPC -- Models of FPC -- Semantics of the Recursion Combinator -- Formal Approximation Relations -- Computational Adequacy -- Full Abstraction -- Conclusions.
  note: Guy McCusker.
  note: Softcover reprint of the hardcover 1st edition 1998.
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Functional programming languages
  subject:
    topic: Game theory
  subject:
    topic: Recursive functions
  subject:
    topic: Functional programming languages
  subject:
    topic: Game theory
  subject:
    topic: Recursive functions
  classification: QA76.62 .M355 1998eb
  classification: 005.13
  related item:
    title info:
      title: Games and full abstraction for a functional metalanguage with recursive types
    name:
      name part: McCusker, G. (Guy).
    origin info:
      publisher: London : Springer, ©1998
    identifier: (DLC) 98018047
  related item:
    title info:
      title: CPHC/BCS distinguished dissertations
  identifier: 9781447106159 (electronic bk.)
  identifier: 1447106156 (electronic bk.)
  identifier: 3540762558 (hardcover alk. paper)
  identifier: 9781447111658
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: E7B
    record creation date: 980320
    record change date: 20260420210644.3
    record identifier: in00003552388
    language of cataloging:
      language term: eng