Produktbild
Samson (Hrsg.) Abramsky

Category Theory and Computer Science

Paris, France, September 3-6, 1991. Proceedings

Buch

The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.… Mehr

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Curien, Pierre-Louis (Hrsg.) / Pitt, David H. (Hrsg.) / Pitts, Andrew (Hrsg.) / Poigne, Axel (Hrsg.) / Rydeheard, David E. (Hrsg.)
  • ISBN: 978-3-540-54495-1
  • EAN: 9783540544951
  • Produktnummer: 3263784
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1991
  • Seitenangabe: 316 S.
  • Masse: H24.2 cm x B16.5 cm x D2.2 cm 522 g
  • Auflage: 1991
  • Abbildungen: Paperback
  • Gewicht: 522

25 weitere Werke von Samson (Hrsg.) Abramsky:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.