[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Category Theory and Computer Science
Sprache
Englisch
Englisch
Buch
Broschur
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp...
Vollständige Beschreibung
Libristo-Code: 01558474
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
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.
Informationen zum Buch
Vollständiger Name
Category Theory and Computer Science
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2007
Anzahl der Seiten
304
EAN
9783540185086
ISBN
3540185089
Libristo-Code
01558474
Gewicht
970
Abmessungen
155 x 235 x 16
