0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Types for Proofs and Programs - International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers... Types for Proofs and Programs - International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Paperback, 2002 ed.)
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
R1,593 Discovery Miles 15 930 Ships in 10 - 15 working days

This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr]om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr]om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham s Computer Assisted Reasoning Group, especially Robert Kiessling, for helping to organise the workshop. Robert s contribution was key to the success of the meeting."

Computation and Reasoning - A Type Theory for Computer Science (Hardcover): Zhaohui Luo Computation and Reasoning - A Type Theory for Computer Science (Hardcover)
Zhaohui Luo
R2,355 Discovery Miles 23 550 Ships in 12 - 19 working days

This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The practical use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of specification, programs, and proofs. Students and researchers in computer science and logic will welcome this exciting new book.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
When I Loved Myself Enough - Inspiring…
Kim McMillen Hardcover  (1)
R304 R275 Discovery Miles 2 750
Clean Green - Tips and Recipes for a…
Jen Chillingsworth Hardcover R210 R188 Discovery Miles 1 880
The Little Book of Positivity - Helpful…
Lucy Lane Hardcover R213 R177 Discovery Miles 1 770
So Bjored - The Inner Thoughts of…
Running Press Hardcover R368 Discovery Miles 3 680
A Coat Of Many Colours - Short Stories
Fred Khumalo Paperback R335 R314 Discovery Miles 3 140
Traditional Japanese Origami - Easy to…
Editors of Chartwell Books Kit R362 Discovery Miles 3 620
The Edge
David Baldacci Paperback R427 R402 Discovery Miles 4 020
The Book Of Gifts
Lucy Claire Dunbar Hardcover R430 R384 Discovery Miles 3 840
Hidden Nature
Nora Roberts Paperback R385 R299 Discovery Miles 2 990
A Quiet Man
Tom Wood Paperback R444 R409 Discovery Miles 4 090

 

Partners