Vor Ort
Merkzettel Warenkorb
Produktbild: Category Theory and Computer Science
Band 283

Category Theory and Computer Science Edinburgh, UK, September 7-9, 1987. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.1987

Herausgeber

David H. Pitt + weitere

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

474 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18508-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.1987

Herausgeber

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

474 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18508-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Category Theory and Computer Science
  • 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.