• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

E-books

Boekenbon

Promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

  2. Boeken
  3. Non-fictie
  4. Wetenschap
  5. Wiskunde & Statistiek
  6. Category Theory and Computer Science

Category Theory and Computer Science

6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings

Paperback | Engels | Lecture Notes in Computer Science | nr. 953
€ 52,95
+ 105 punten
Levertermijn 1 à 4 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.
The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Specificaties

Betrokkenen

Uitgeverij:
Springer

Inhoud

Aantal bladzijden:
259
Taal:
Engels
Reeks:
Lecture Notes in Computer Science
Reeksnummer:
nr. 953

Eigenschappen

Productcode (EAN):
9783540601647
Verschijningsdatum:
21/07/1995
Uitvoering:
Paperback
Bestandsformaat:
Trade paperback (VS)
Afmetingen:
156 mm x 234 mm
Gewicht:
385 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 105 punten op je klantenkaart van Standaard Boekhandel
BUNDELPROMO

2+1 GRATIS op meer dan 200 producten

Profiteer nu van onze vroegboekkortingen
Maak je voordeelbundel
BUNDELPROMO
2+1 GRATIS op meer dan 200 producten
AANGERADEN

Dé boeken bij jouw vakantiebestemming

door ons geselecteerd
Ontdek, lees en reis met ons mee
AANGERADEN
Dé boeken bij jouw vakantiebestemming
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
Pak nu je korting
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.

Uitgelichte categorieën

Geschiedenis

Strips, Comics & Graphic Novels

Mens & Maatschappij

Kookboeken

Hobby

Science fiction & Fantasy

Psychologie

Wetenschap

Kunst & Cultuur

Onderwijs & Pedagogie

Sport

Economie & Management

Zelfzorg, Gezin & Gezondheid

Reizen

Taal

Religie & Spiritualiteit