- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764336547
3764336544
9780817636548
0817636544
- Dimensions
-
25 cm
- Extent
-
XX, 403 S.
- Edition
-
2. ed.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 381 - 394
- Bibliographic citation
-
Progress in theoretical computer science ; 9
- Keyword
-
Funktionale Programmiersprache
Lambda-Kalkül
Kategorientheorie
- Event
-
Veröffentlichung
- (where)
-
Boston, Basel, Berlin
- (who)
-
Birkhäuser
- (when)
-
1993
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:21 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Curien, Pierre-Louis
- Birkhäuser
Time of origin
- 1993
Other Objects (12)
A categorical approach to functional programming
Algorithms for functional programming
Sequential, Concurrent and Parallel Programming
Sequential convex programming in theory and praxis
Grounding Synchronous Deterministic Concurrency in Sequential Programming
A strictly feasible sequential convex programming method
Functional UI programming
Sequential and parallel algorithms for local routing
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Approximation algorithms and semidefinite programming
Categorical Forecasts and Non-Categorical Loss Functions
Categorical data
A categorical approach to functional programming
Algorithms for functional programming
Sequential, Concurrent and Parallel Programming
Sequential convex programming in theory and praxis
Grounding Synchronous Deterministic Concurrency in Sequential Programming
A strictly feasible sequential convex programming method
Functional UI programming
Sequential and parallel algorithms for local routing
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Approximation algorithms and semidefinite programming
Categorical Forecasts and Non-Categorical Loss Functions
Categorical data
A categorical approach to functional programming
Algorithms for functional programming
Sequential, Concurrent and Parallel Programming
Sequential convex programming in theory and praxis
Grounding Synchronous Deterministic Concurrency in Sequential Programming
A strictly feasible sequential convex programming method
Functional UI programming
Sequential and parallel algorithms for local routing
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Approximation algorithms and semidefinite programming
Categorical Forecasts and Non-Categorical Loss Functions