Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Inbunden, Engelska, 1998

Av Guy McCusker, G. McCusker

1 139 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

739 kr

Skickas inom 7-10 vardagar

Produktinformation

Utgivningsdatum1998-06-22
FormatInbunden
SpråkEngelska
SerieDistinguished Dissertations
Antal sidor208
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.

Du kanske också är intresserad av

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

739 kr

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Antonio Criminisi

1 419 kr

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

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

Jacques Fleuriot

1 419 kr

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

JOURDAN MCCUSKER JOURDAN A EDALAT, Abbas Edalat, S Jourdan, G Mccusker, Uk) Edalat, Abbas (Imperial College, Uk) Jourdan, S (Imperial College, Uk) Mccusker, G (Imperial College, S. Jourdan, G. Mccusker

2 209 kr

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

1 459 kr

Randomized Algorithms: Approximation, Generation, and Counting

Randomized Algorithms: Approximation, Generation, and Counting

1 419 kr

Stochastic Algorithms for Visual Tracking

Stochastic Algorithms for Visual Tracking

John MacCormick, John Maccormick

1 459 kr

User-Developer Cooperation in Software Development

User-Developer Cooperation in Software Development

Eamonn O'Neill, British Computer Society

1 459 kr

Asynchronous System-on-Chip Interconnect

Asynchronous System-on-Chip Interconnect

John Bainbridge

719 kr

Models of Sharing Graphs

Models of Sharing Graphs

Masahito Hasegawa

739 kr