Kniha Category Theory and Computer Science David H. Pitt

Category Theory and Computer Science

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.00
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2007
Stránok
304
EAN
9783540185086
ISBN
3540185089
Enbook ID
01558474
Hmotnosť
970
Rozmery
155 x 235 x 16

Kompletný popis

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.

Mohlo by vás zaujímať

28.08
24.55

Gottinger Monograph N

Berend van der Wall
42.46
42.17

!nspired Too

TIM WIGHAM
13.10
35.22
37.47

Neuropressure

David Corby
13.10

Nazi Occultism

Eriks Uskalis
52.25
25.63
347.98

American War

Newman Hall
12.12
199.04
54.60

Acoustica

Scorpions
7.82

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

8.41

Globalisierung

Andreas Niederberger
18.78
4.00
14.38
12.12
30.23

MONTAÑAS

GIMENEZ
25.14
16.92

Berserk Max. Bd.5

Kentaro Miura
11.05
13.10
31.99