Categorical Combinators, Sequential Algorithms, and Functional Programming – Buch neu kaufen
Verkäufer-Bewertung:
99,9 % positiv (2954 Bewertungen)
106,99 €
*
versandkostenfrei
Neuware
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
* Inkl. Mwst.
Autor/in
ISBN
9781461267041
(ISBN-10: 1461267048)Zustand
Neuware
Verlag
Format
235x155x24 mm
Seiten
428
Gewicht
645 g
Einband
Taschenbuch
Sprache
Englisch
Beschreibung
Neuware - This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6).
Stichwörter
Erschienen
27.09.2012
Bestell-Nr.
9781461267041
Hersteller
Springer Nature c/o IBS,Benzstrasse 21,48619Heek,Tanja.Keller@springer.com
Lieferzeit
Sofort bestellen | Anfragen | In den Warenkorb
Verkäufer/in dieses Artikels
Verkäufer/in
Angebotene Zahlungsarten
- Banküberweisung (Vorkasse), nur bei Bestellungen aus der EU
(Vorkasse)
Allgemeine Versandkosten
| Landweg | |||
| Deutschland | EU | Welt | |
| Versand pauschal | 1,99 € | 15,00 € | 25,00 € |
| Versandkostenfrei ab | 25,00 € | — | — |
Regelungen zum Widerruf bzw. zur Rückgabe
––––––––––––––––––––––––––––––––––––––
Widerrufsbelehrung & Widerrufsformular
––––––––––––––––––––––––––––––––––––––
–––––––––––––––––––––
A. Widerrufsbelehrung
–––––––––––––––––––––
Einleitung
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen.
Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Ware in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns (BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier, De-Gasperi-Str. 8, 51469 Bergisch Gladbach, Deutschland, Tel.: +49(0)22028659300, Fax: +49(0)22028659301, E-Mail: info@buchweltweit.de) mittels einer eindeutigen Erklärung (z. B. ein mit der Post versandter Brief, Telefax oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Sie können Ihr Widerrufsrecht auch online auf der Webseite booklooker.de über eine entsprechend bezeichnete Schaltfläche („Vertrag widerrufen“ oder ähnlich) ausüben. Wenn Sie diese Online-Funktion nutzen, wird Ihnen auf einem dauerhaften Datenträger (z. B. durch eine E-Mail) unverzüglich eine Eingangsbestätigung mit Informationen zum Inhalt der Widerrufserklärung sowie dem Datum und der Uhrzeit ihres Eingangs übermittelt.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet. Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.
Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
––––––––––––––––––––
B. Widerrufsformular
––––––––––––––––––––
Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden es zurück.
An
BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland
Fax: +49(0)22028659301
E-Mail: info@buchweltweit.de
Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*) / die Erbringung der folgenden Dienstleistung (*)
_______________________________________________________
_______________________________________________________
Bestellt am (*) ____________ / erhalten am (*) __________________
________________________________________________________
Name des/der Verbraucher(s)
________________________________________________________
Anschrift des/der Verbraucher(s)
________________________________________________________
Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier)
_________________________
Datum
(*) Unzutreffendes streichen
Copyright-Hinweis: Diese Widerrufsbelehrung wurde von den Fachanwälten der IT-Recht Kanzlei erstellt und ist urheberrechtlich geschützt (https://www.it-recht-kanzlei.de)
Stand: 18.06.2026, 19:03:39
Widerrufsbelehrung & Widerrufsformular
––––––––––––––––––––––––––––––––––––––
–––––––––––––––––––––
A. Widerrufsbelehrung
–––––––––––––––––––––
Einleitung
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen.
Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Ware in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns (BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier, De-Gasperi-Str. 8, 51469 Bergisch Gladbach, Deutschland, Tel.: +49(0)22028659300, Fax: +49(0)22028659301, E-Mail: info@buchweltweit.de) mittels einer eindeutigen Erklärung (z. B. ein mit der Post versandter Brief, Telefax oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Sie können Ihr Widerrufsrecht auch online auf der Webseite booklooker.de über eine entsprechend bezeichnete Schaltfläche („Vertrag widerrufen“ oder ähnlich) ausüben. Wenn Sie diese Online-Funktion nutzen, wird Ihnen auf einem dauerhaften Datenträger (z. B. durch eine E-Mail) unverzüglich eine Eingangsbestätigung mit Informationen zum Inhalt der Widerrufserklärung sowie dem Datum und der Uhrzeit ihres Eingangs übermittelt.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet. Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.
Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
––––––––––––––––––––
B. Widerrufsformular
––––––––––––––––––––
Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden es zurück.
An
BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland
Fax: +49(0)22028659301
E-Mail: info@buchweltweit.de
Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*) / die Erbringung der folgenden Dienstleistung (*)
_______________________________________________________
_______________________________________________________
Bestellt am (*) ____________ / erhalten am (*) __________________
________________________________________________________
Name des/der Verbraucher(s)
________________________________________________________
Anschrift des/der Verbraucher(s)
________________________________________________________
Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier)
_________________________
Datum
(*) Unzutreffendes streichen
Copyright-Hinweis: Diese Widerrufsbelehrung wurde von den Fachanwälten der IT-Recht Kanzlei erstellt und ist urheberrechtlich geschützt (https://www.it-recht-kanzlei.de)
Stand: 18.06.2026, 19:03:39