|
Showing 1 - 4 of
4 matches in All Departments
|
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,572
Discovery Miles 15 720
|
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.
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
|