Del i serien Distinguished Dissertations

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Inbunden, Engelska, 1998

AvGuy McCusker

1 149 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

739 kr

Skickas inom 10-15 vardagar

1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.

Produktinformation

Utgivningsdatum1998-06-01
FormatInbunden
SpråkEngelska
SerieDistinguished Dissertations
Antal sidor224
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540762553

Tillhör följande kategorier

3D-grafik och modellering inom Data och IT
Programspråk inom Data och IT
Optimering inom Naturvetenskap och teknik

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.

Mer från samma serie

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Antonio Criminisi

Häftad, 2012

1 439 kr

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Jacques Fleuriot

Häftad, 2012

1 439 kr

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Ian Miguel

Häftad, 2012

1 479 kr

Image Mosaicing and Super-resolution

David Capel

Häftad, 2012

1 479 kr

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Tim Kovacs

Häftad, 2012

2 149 kr

User-Developer Cooperation in Software Development

Eamonn O'Neill

Häftad, 2012

1 479 kr

Inheritance Relationships for Disciplined Software Construction

Tracy A. Gardner

Häftad, 2012

739 kr

Asynchronous System-on-Chip Interconnect

John Bainbridge

Häftad, 2014

719 kr

Automated Theory Formation in Pure Mathematics

Simon Colton

Häftad, 2012

1 439 kr

Stochastic Algorithms for Visual Tracking

John MacCormick

Häftad, 2011

1 479 kr

Du kanske också är intresserad av