X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16 - 20, 1985 ; proceedings (1986)
    Berlin : Springer
    Details
    UID:
    gbv_025514288
    Format: VII, 519 S. , graph. Darst.
    ISBN: 3540171622 , 0387171622
    Series Statement: Lecture notes in computer science 240
    Note: Literaturangaben , Frühere Kongresse s. Category theory applied to computation and control
    Additional Edition: Online-Ausg. Category theory and computer programming Berlin [u.a.] : Springer, 1986 ISBN 9783540472131
    Additional Edition: Erscheint auch als Online-Ausgabe Pitt, David Category Theory and Computer Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1986 ISBN 9783540472131
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 130
    Keywords: Kategorientheorie ; Programmierung ; Kategorie ; Konferenzschrift ; Konferenzschrift
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    MPI Bildungsforschung get availability status
  • 2
    Online Resource
    Online Resource
    Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (1986)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186093902883
    Format: 1 online resource (X, 522 p.)
    Edition: 1st ed. 1986.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47213-4
    Series Statement: Lecture Notes in Computer Science, 240
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-17162-2
    Language: English
    DOI: 10.1007/3-540-17162-2
    URL: http://dx.doi.org/10.1007/3-540-17162-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
    Charité
  • 3
    Online Resource
    Online Resource
    Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16 - 20, 1985 ; proceedings (1986)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595130828
    Format: Online-Ressource (VII, 519 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540472131
    Series Statement: Lecture notes in computer science 240
    Content: 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.
    Note: Literaturangaben
    Additional Edition: ISBN 3540171622
    Additional Edition: ISBN 0387171622
    Additional Edition: ISBN 9783540171621
    Additional Edition: Erscheint auch als Druck-Ausgabe Category theory and computer programming Berlin : Springer, 1986 ISBN 3540171622
    Additional Edition: ISBN 0387171622
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 130
    Keywords: Kategorientheorie ; Programmierung ; Kategorie ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/3-540-17162-2
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltstext
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings (1986)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920860102882
    Format: X, 522 p. , online resource.
    ISBN: 9783540472131
    Series Statement: Lecture Notes in Computer Science, 240
    Note: 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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540171621
    Language: English
    DOI: 10.1007/3-540-17162-2
    URL: http://dx.doi.org/10.1007/3-540-17162-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (1986)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621818702882
    Format: X, 522 p. , online resource.
    Edition: 1st ed. 1986.
    ISBN: 9783540472131
    Series Statement: Lecture Notes in Computer Science, 240
    Note: 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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662198902
    Additional Edition: Printed edition: ISBN 9783540171621
    Language: English
    DOI: 10.1007/3-540-17162-2
    URL: https://doi.org/10.1007/3-540-17162-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 6
    Online Resource
    Online Resource
    Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (1986)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186093902883
    Format: 1 online resource (X, 522 p.)
    Edition: 1st ed. 1986.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47213-4
    Series Statement: Lecture Notes in Computer Science, 240
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-17162-2
    Language: English
    DOI: 10.1007/3-540-17162-2
    URL: http://dx.doi.org/10.1007/3-540-17162-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 7
    Online Resource
    Online Resource
    Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (1986)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186093902883
    Format: 1 online resource (X, 522 p.)
    Edition: 1st ed. 1986.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47213-4
    Series Statement: Lecture Notes in Computer Science, 240
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-17162-2
    Language: English
    DOI: 10.1007/3-540-17162-2
    URL: http://dx.doi.org/10.1007/3-540-17162-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540372134?
Did you mean 9783540047131?
Did you mean 9783540172031?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages