Del i serien Lecture Notes in Computer Science

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Häftad, Engelska, 1986

AvDavid Pitt,Samson Abramsky,Axel Poigne,David Rydeheard

739 kr

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

Produktinformation

Utgivningsdatum1986-10-01
Mått155 x 235 x 29 mm
Vikt797 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor522
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540171621

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure — Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the ?P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models — an application of categorical Logic.- A categorical unification algorithm.- Computing with categories.

Du kanske också är intresserad av

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard

Häftad, 1991

719 kr

David H. Pitt, Axel Poigne, David E. Rydeheard - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

David H. Pitt, Axel Poigne, David E. Rydeheard

Häftad, 1987

719 kr

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

Häftad, 1989

689 kr

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

Automata, Languages and Programming

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis

Häftad, 2010

1 459 kr

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad

Del 39

The Uncertain Reasoner's Companion

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2006

859 kr

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - Dependence Logic, Inbunden

Dependence Logic

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

Inbunden, 2016

719 kr

Samson Abramsky, Michael Mislove - Mathematical Foundations of Information Flow, Inbunden

Mathematical Foundations of Information Flow

Samson Abramsky, Michael Mislove

Inbunden, 2012

2 059 kr

Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Updating Logical Databases, Häftad

Del 9

Updating Logical Databases

Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

689 kr

Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, Inbunden

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 2001

7 949 kr

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad

Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1990

939 kr