Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Skapa nya rutiner – hälsoböcker upp till 50% →

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

542 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

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

542 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

525 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

558 kr

David Pitt, David E. Rydeheard, Peter Johnstone - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

David Pitt, David E. Rydeheard, Peter Johnstone

Häftad, 1995

558 kr

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

Early Greek Concept of the Soul

Jan N. Bremmer

Häftad, 1987

401 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

558 kr

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

Approximation Theory. Tampa

Edward B. Saff

Häftad, 1987

488 kr

Annette Løno, Torkil Færø - Vagusnerven, Kartonnage

-23%

Vagusnerven

Annette Løno, Torkil Færø

Kartonnage, 2026

199 kr259 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

558 kr

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

Neurophysiologie fonctionnelle, vol. 3

Pierre Buser

E-bok

1987

419 kr