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

544 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

Jan N. Bremmer - Early Greek Concept of the Soul, Häftad

Early Greek Concept of the Soul

Jan N. Bremmer

Häftad, 1987

377 kr

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

544 kr

Albert Kündig, Richard E. Bührer, Jacques Dähler - Embedded Systems, Häftad

Embedded Systems

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

Häftad, 1987

561 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

527 kr

Edward B. Saff - Approximation Theory. Tampa, Häftad

Approximation Theory. Tampa

Edward B. Saff

Häftad, 1987

491 kr

Helmut Meister - Purification Problem for Constrained Games with Incomplete Information, Häftad

Del 295

Purification Problem for Constrained Games with Incomplete Information

Helmut Meister

Häftad, 1987

561 kr

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard - Category Theory and Computer Programming, Häftad

Category Theory and Computer Programming

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard

Häftad, 1986

561 kr

Pierre Buser - Neurophysiologie fonctionnelle, vol. 3, E-bok

Neurophysiologie fonctionnelle, vol. 3

Pierre Buser

E-bok

1987

422 kr

Haynes R. Miller, Douglas C. Ravenel - Algebraic Topology. Seattle 1985, Häftad

Del 1286

Algebraic Topology. Seattle 1985

Haynes R. Miller, Douglas C. Ravenel

Häftad, 1987

436 kr

Ronald Bayer - Homosexuality and American Psychiatry, Häftad

Homosexuality and American Psychiatry

Ronald Bayer

Häftad, 1987

625 kr