• 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

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:

Inhoud

Aantal bladzijden:
259
Taal:
Engels
Reeks:
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
BUNDELPROMO
2+1 GRATIS op meer dan 200 producten
ACTIEPRIJS

€ 10 korting

op de Vivlio Light en Light HD e-reader
ACTIEPRIJS
Vivlio Light en Light HD e-reader met € 10 korting
AANGERADEN

Dé boeken bij jouw vakantiebestemming

door ons geselecteerd
AANGERADEN
Dé boeken bij jouw vakantiebestemming
Standaard Boekhandel

Beoordelingen

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