Category Theory and Computer Science / Nejlevnější knihy
Category Theory and Computer Science

Kód: 01565222

Category Theory and Computer Science

Autor David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts

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 exploi ... celý popis

1819


Skladem u dodavatele
04.01.2019

Informovat o naskladnění

Přidat mezi přání

Mohlo by se vám také líbit

Darujte tuto knihu ještě dnes
  1. Objednejte knihu a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Vzor darovacího poukazu pro tuto knihuVíce informací

Informovat o naskladnění knihy

Informovat o naskladnění knihy


Souhlas - Souhlasím se zasíláním obchodních sdělení a zpracováním osobních údajů k obchodním sdělením.

Zašleme vám zprávu jakmile knihu naskladníme

Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.

Více informací o knize Category Theory and Computer Science

Nákupem získáte 182 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Operating systems

1819

Oblíbené z jiného soudku


Můžete nám věřit - jsme držiteli několika prestižních certifikátů dlouhodobé zákaznické spokojenosti.


Osobní odběr Praha, Brno, Ostrava, Olomouc, Plzeň, ČB a 1958 dalších

Copyright ©2008-18 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíMapa stránek


Můj účet: Přihlásit se

Doručení:

Unikátní knihkupectví s nejširší nabídkou knih v Česku. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Nakupte za 899 Kč a
máte doručení zdarma.

Nacházíte se: