|
Showing 1 - 5 of
5 matches in All Departments
|
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Paperback, 2012 ed.)
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
|
R1,745
Discovery Miles 17 450
|
Ships in 10 - 15 working days
|
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the
refereed proceedings of the 39th International Colloquium on
Automata, Languages and Programming, ICALP 2012, held in Warwick,
UK, in July 2012. The total of 123 revised full papers presented in
this volume were carefully reviewed and selected from 432
submissions. They are organized in three tracks focussing on
algorithms, complexity and games; logic, semantics, automata and
theory of programming; and foundations of networked computation.
|
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Paperback, 2012 ed.)
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
|
R1,686
Discovery Miles 16 860
|
Ships in 10 - 15 working days
|
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the
refereed proceedings of the 39th International Colloquium on
Automata, Languages and Programming, ICALP 2012, held in Warwick,
UK, in July 2012. The total of 123 revised full papers presented in
this volume were carefully reviewed and selected from 432
submissions. They are organized in three tracks focussing on
algorithms, complexity and games; logic, semantics, automata and
theory of programming; and foundations of networked computation.
|
Category Theory and Computer Science - Paris, France, September 3-6, 1991. Proceedings (Paperback, 1991 ed.)
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, …
|
R1,669
Discovery Miles 16 690
|
Ships in 10 - 15 working days
|
The papers in this volume were presented at the fourth biennial
Summer Conference on Category Theory and Computer Science, held in
Paris, September3-6, 1991. Category theory continues to be an
important tool in foundationalstudies in computer science. It has
been widely applied by logicians to get concise interpretations of
many logical concepts. Links between logic and computer science
have been developed now for over twenty years, notably via the
Curry-Howard isomorphism which identifies programs with proofs and
types with propositions. The triangle category theory - logic -
programming presents a rich world of interconnections. Topics
covered in this volume include the following. Type theory:
stratification of types and propositions can be discussed in a
categorical setting. Domain theory: synthetic domain theory
develops domain theory internally in the constructive universe of
the effective topos. Linear logic: the reconstruction of logic
based on propositions as resources leads to alternatives to
traditional syntaxes. The proceedings of the previous three
category theory conferences appear as Lecture Notes in Computer
Science Volumes 240, 283 and 389.
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.
|
Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)
Andrew Pitts
|
R3,000
Discovery Miles 30 000
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 18th International
Conference on Foundations of Software Science and Computation
Structures, FOSSACS 2015, held in London, UK, in April 2015, as
part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2015. The 28 full papers presented in this volume
were carefully reviewed and selected from 93 submissions. They are
organized in topical sections named: semantics of programming
languages; categorical models and logics; concurrent, probabilistic
and timed systems; automata, games, verification; logical aspects
of computational complexity; and type theory, proof theory and
implicit computational complexity. The book also contains one full
paper invited talk.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|