Kniha Category Theory and Computer Science David H. Pitt

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 078
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Stránek
372
EAN
9783540516620
ISBN
354051662X
Enbook ID
01565222
Hmotnost
1160
Rozměry
170 x 250 x 21

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 zajímat

347
3 827
2 742

The Teeth Whitening Cure

Dds Lester Sawicki
210

Rules for Vanishing

Kate Alice Marshall
447

That Fruit Is Mine!

Anuska Allepuz
191

The Fates Divide

Veronica Roth
293
396

Harvest of Sorrow

Robert Conquest
432

Through Russia

Maxim Gorky
295
913
138

Our Voices

Alberto Gonzalez
3 903

Falcons

Melissa Gish
256
541

Roadside Picnic

Boris Strugatsky
228
1 275
1 788