Category Theory and Computer Science

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

Häftad, Engelska, 1987

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

689 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.