Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Prijzen

This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the results in Chapters 3 and 6. In particular, it is now possible to model sums correctly in the category I as well as in GBP, which means that the definabili...

De Games and Full Abstraction for a Functional Metalanguage with Recursive Types is een populaire optie . Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Games and Full Abstraction for a Functional Metalanguage with Recursive Types is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Games and Full Abstraction for a Functional Metalanguage with Recursive Types
meer afbeeldingen
  • EAN9781447111658
44.694.855producten
159.271merken
939winkels