Verkauf durch Sack Fachmedien

Pitt / Rydeheard / Poigne

Category Theory and Computer Science

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

Medium: Buch
ISBN: 978-3-540-18508-6
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 21.10.1987
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540185086
  • Medium: Buch
  • ISBN: 978-3-540-18508-6
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 21.10.1987
  • Sprache(n): Englisch
  • Auflage: 1987
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 476 g
  • Seiten: 304
  • Format (B x H x T): 155 x 235 x 17 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.