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

534 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

Early Greek Concept of the Soul

Jan N. Bremmer

Häftad

361 kr

Embedded Systems

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

Häftad

550 kr

Approximation Theory. Tampa

Edward B. Saff

Häftad

481 kr

Del 295

Purification Problem for Constrained Games with Incomplete Information

Helmut Meister

Häftad

550 kr

Del 1286

Algebraic Topology. Seattle 1985

Haynes R. Miller, Douglas C. Ravenel

Häftad

428 kr

Unitary Representations of Reductive Lie Groups

David A. Vogan

Häftad

989 kr

Homosexuality and American Psychiatry

Ronald Bayer

Häftad

1 127 kr

Psychology of Women: Behavior in a Biosocial Context

Juanita H. Williams

Häftad

414 kr

On Understanding Japanese Religion

Joseph Mitsuo Kitagawa

Häftad

502 kr

Del 1284

Konstruktive Galoistheorie

Bernd H. Matzat

Häftad

450 kr