Category Theory and Computer Science

Edinburgh, UK, September 7-9, 1987. Proceedings

AvDavid H. Pitt,Axel Poigne

Häftad, Engelska, 1987

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-10-21
Mått:155 x 235 x 17 mm
Vikt:476 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:304
Upplaga:1987
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540185086

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Topologi inom Naturvetenskap och teknik
Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equational presentation of higher order logic.- Enriched categories for local and interaction calculi.- The category of Milner processes is exact.- Relating two models of hardware.- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms.- A typed lambda calculus with categorical type constructors.- Final algebras, cosemicomputable algebras, and degrees of unsolvability.- Good functors ... are those preserving philosophy!.- Viewing implementations as an institution.- An interval model for second order lambda calculus.- Logical aspects of denotational semantics.- Connections between partial maps categories and tripos theory.- A fixpoint construction of the p-adic domain.- A category of Galois connections.

Du kanske också är intresserad av

Category Theory and Computer Science

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

Häftad, 1991

556 kr

Early Greek Concept of the Soul

Jan N. Bremmer

Häftad, 1987

409 kr

Category Theory and Computer Science

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

Häftad, 1989

539 kr

Category Theory and Computer Programming

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard

Häftad, 1986

573 kr

Category Theory and Computer Science

David Pitt, David E. Rydeheard, Peter Johnstone

Häftad, 1995

573 kr

Embedded Systems

Albert Kündig, Richard E. Bührer, Jacques Dähler

Häftad, 1987

573 kr

Approximation Theory. Tampa

Edward B. Saff

Häftad, 1987

501 kr

Del 295

Purification Problem for Constrained Games with Incomplete Information

Helmut Meister

Häftad, 1987

573 kr

Neurophysiologie fonctionnelle, vol. 3

Pierre Buser

E-bok

1987

419 kr

Del 1286

Algebraic Topology. Seattle 1985

Haynes R. Miller, Douglas C. Ravenel

Häftad, 1987

446 kr

Category Theory and Computer Science

Edinburgh, UK, September 7-9, 1987. Proceedings

AvDavid H. Pitt,Axel Poigne

Häftad, Engelska, 1987

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-10-21
Mått:155 x 235 x 17 mm
Vikt:476 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:304
Upplaga:1987
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540185086

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Topologi inom Naturvetenskap och teknik
Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equational presentation of higher order logic.- Enriched categories for local and interaction calculi.- The category of Milner processes is exact.- Relating two models of hardware.- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms.- A typed lambda calculus with categorical type constructors.- Final algebras, cosemicomputable algebras, and degrees of unsolvability.- Good functors ... are those preserving philosophy!.- Viewing implementations as an institution.- An interval model for second order lambda calculus.- Logical aspects of denotational semantics.- Connections between partial maps categories and tripos theory.- A fixpoint construction of the p-adic domain.- A category of Galois connections.