Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore

0 Item

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers - Paul Callaghan

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

By: Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

Paperback | 20 February 2002

At a Glance

Paperback

$111.38

or 4 interest-free payments of $27.84 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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 Kießling, for helping to organise the workshop. Robert's contribution was key to the success of the meeting.

You Can Find This Book In

Non-FictionMedicineMedicine in GeneralComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesComputer ScienceComputer Architecture & Logic DesignCompilers & InterpretersMathematicsMathematical FoundationMathematical Logic
Artificial IntelligenceExpert Systems & Knowledge-Based Systems

More in Computer Architecture & Logic Design

Robotics Goes MOOC : Interaction - Bruno Siciliano

Robotics Goes MOOC

Interaction

Paperback

$169.25

Computer Systems 3ed : A Programmer's Perspective, Global Edition - David O'Hallaron

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Paperback

RRP $172.95

$132.90

23%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF
Top-Down Network Design : 3rd edition - Priscilla Oppenheimer

Top-Down Network Design

3rd edition

Hardcover

RRP $117.95

$81.75

31%
OFF
Logic and Computer Design Fundamentals, Global Edition : 5th edition - Charles Kime

Logic and Computer Design Fundamentals, Global Edition

5th edition

Paperback

RRP $134.95

$109.25

19%
OFF

This product is categorised by