Types for Proofs and Programs > Editions

collapse details

by Paul Callaghan First published March 22nd 2002

Sort by

Format

Language

Editions

Showing 1-2 of 2

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

Published March 12th 2014 by Springer

Paperback, 258 pages

Author(s):

Paul Callaghan (editor)

ISBN:

9783662194775 (ISBN10: 3662194775)

ASIN:

3662194775

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

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

Published February 20th 2002 by Springer

2002, Paperback, 256 pages

Author(s):

Paul Callaghan (Editor)

ISBN:

9783540432876 (ISBN10: 3540432876)

ASIN:

3540432876

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars