Könyv Category Theory and Computer Science Peter Johnstone

Category Theory and Computer Science

6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1995
oldal
259
EAN
9783540601647
ISBN
3540601643
Enbook ID
05274486
Súly
357
Méretek
155 x 233 x 14

Teljes leírás

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.

Érdekelheti

19 305 Ft
14 230 Ft

Restore and Rebalance

Judith Hanson Lasater
7 348 Ft

Beauty and the Bounty

Robert J. Randisi
5 788 Ft
12 925 Ft

After the Chisholm

George Rhoades
5 756 Ft

Knifemaking

Michael Peterson
5 573 Ft

Remember Me with Favor

Burtner Burtner
17 700 Ft

Fruitful Life

B. Paxson Drury
7 366 Ft
5 972 Ft
19 305 Ft
3 268 Ft

Framing ADHD Children

Adam Rafalovich
46 132 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

CELEBRACIO

HERMO GONZALEZ
7 308 Ft

Malnata

Anja Nattefort
7 864 Ft

Cesty božstev

Jakub Havlíček
3 268 Ft

Educación, creación e igualdad

MARIAN LOPEZ FERNANDEZ CAO
4 151 Ft

Theodor Storm

Alfred Biese
13 418 Ft
13 777 Ft
6 070 Ft
3 398 Ft