Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Scien

Rated 0 stars

Choose your cover
Recommend this book
Should I read this?
Amazon.com
- Buy new from $64.95
- Buy used from $25.00
- Find signed and first editions at Abebooks.

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Scien (edit title)

(?) (edit contributors)

Welcome to the beta version of Shelfari’s new Book Detail pages!

These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.

see page historyNotify me when this page changes.

Description

Papers from the International Workshop, TYPES 2000, held December 8-12, 2000 in Durham, UK. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Softcover.

Ridiculously Simplified Synopsis

Write a ridiculously simplified synopsis.

Summary

Write a summary of the plot or a synopsis of this book.

Cast of Characters/Important People

List the characters or important people from this book.

Popular Covers

Choose your book’s cover

Memorable Quotes

List your favorite quotations from this book.

Setting & Important Places

List the places mentioned in this book.

Organizations

List the groups and organizations mentioned in this book.

First Sentence

In <1> the constructive set theory CZF was given an interpretation in the dependent type theory ML1 V.

List the chapters of this book.

Glossary

List the unique or unusual words from this book with their definitions.

Errata

List any errors found in this book with their corrections.

Series

List the series to which this book belongs.

Authors & Contributors

List the people who contributed to this book.

First Edition

Add the first edition language, publisher, date and country.

Awards

Add awards that the author(s) received for this book.

Classification

Library of Congress: Add the Library of Congress Classification.
Dewey: 006.333

Subjects

Books › Professional & Technical › Professional Science › Mathematics › Pure Mathematics › Logic
Books › Computers & Internet › Programming › Languages & Tools › Compilers
Books › Computers & Internet › Programming › Languages & Tools › Compiler Design
Books › Computers & Internet › Programming › Software Design, Testing & Engineering › Logic
Books › Computers & Internet › Computer Science › Artificial Intelligence › Human Vision & Language Systems
Books › Computers & Internet › Computer Science › Artificial Intelligence › Robotics
Books › Computers & Internet › Computer Science › Artificial Intelligence › Automata
Books › Computers & Internet › Computer Science › Artificial Intelligence › Computer Mathematics
Books › Professional & Technical › Engineering › Mechanical › Robotics
Books › Computers & Internet › Computer Science › Artificial Intelligence › Theory of Computing
Books › Science › Mathematics › Pure Mathematics › Logic
Books › Professional & Technical › Engineering › Computer Technology › Robotics & Automation
Books › Computers & Internet › Hardware
Books › Medicine

Show all 14 subjects

Popular Tags

unknown

More Books Like This

List the books that are similar to this one.

Books with Additional Background Information

List the books that contain additional information about this book.

Books That Influenced This Book

List the books that influenced this book.

Books Influenced by This Book

List the books that were influenced by this book.

If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.