Del i serien Lecture Notes in Computer Science

Category Theory and Computer Science

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

Häftad, Engelska, 1987

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

719 kr

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

Produktinformation

Utgivningsdatum1987-10-21
Mått155 x 235 x 17 mm
Vikt476 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor304
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540185086

Tillhör följande kategorier

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

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

719 kr

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

Early Greek Concept of the Soul

Jan N. Bremmer

Häftad, 1987

499 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

739 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

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

739 kr

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

Approximation Theory. Tampa

Edward B. Saff

Häftad, 1987

639 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

739 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

569 kr

David A. Vogan - Unitary Representations of Reductive Lie Groups, Häftad

Unitary Representations of Reductive Lie Groups

David A. Vogan

Häftad, 1987

2 419 kr

Ronald Bayer - Homosexuality and American Psychiatry, Häftad

Homosexuality and American Psychiatry

Ronald Bayer

Häftad, 1987

829 kr